On the Expressivity of First-Order Modal Logic with “Actually”

DOI10.1007/978-3-662-48561-3_17zbMath1471.03046OpenAlexW2293416696MaRDI QIDQ3457704

Alexander W. Kocurek

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_17

zbMATH Keywords

bisimulationexpressivityfirst-order modal logictwo-dimensional semanticsactuallyactualist and possibilist quantification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Related Items (3)

The problem of cross-world predication ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Still in the mood: the versatility of subjunctive markers in modal logic

Cites Work

• Expressive power of ``now and ``then operators
• Counterfactuals and comparative possibility
• Some theorems on the expressive limitations of modal languages
• Axioms for actuality
• Model theory for modal logic. III. Existence and predication
• Expressive completeness in modal language
• Actuality and quantification
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Expressivity of First-Order Modal Logic with “Actually”