Return to Article Details A nonhybrid logic for crossworld predication Download Download PDF