The problem of cross-world predication

DOI10.1007/s10992-015-9389-zzbMath1417.03155OpenAlexW2296873109MaRDI QIDQ2410889

Alexander W. Kocurek

Publication date: 19 October 2017

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/KOCTPO-7

zbMATH Keywords

hybrid logicexpressive powerfirst-order modal logiccross-world predicationcross-world quantification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (3)

THE POTENTIAL IN FREGE’S THEOREM ⋮ A nonhybrid logic for crossworld predication ⋮ On the expressive power of first-order modal logic with two-dimensional operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Expressive power of ``now and ``then operators
• The fundamental theorem of world theory
• Counterfactuals and comparative possibility
• Some theorems on the expressive limitations of modal languages
• Axioms for actuality
• Individual concepts in modal predicate logic
• Expressive completeness in modal language
• Repairing the interpolation theorem in quantified modal logic
• First-order modal logic
• Twenty-five basic theorems in situation and world theory
• Necessitarian propositions
• On Height and Happiness
• On the Expressivity of First-Order Modal Logic with “Actually”
• Intensional logic and two-sorted type theory
• Comparatives in Counterpart Theory: Another Approach
• Roles, Rigidity, and Quantification in Epistemic Logic

This page was built for publication: The problem of cross-world predication