On the expressive power of first-order modal logic with two-dimensional operators

DOI10.1007/S11229-016-1172-3MaRDI QIDQ2218707zbMATH OpenOpenAlexFDO

Authors Alexander W. Kocurek

Publication date 18 January 2021

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-016-1172-3

zbMATH Keywords

actuallybisimulationexpressive powerfirst-order modal logicfixedlytwo-dimensional operatorsVlach operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On the expressivity of first-order modal logic with ``actually
• On modal logics which enrich first-order S5
• Some theorems on the expressive limitations of modal languages
• scientific article; zbMATH DE number 1841824
• Modality, quantification, and many Vlach-operators

Cites work

• Actuality and quantification
• Actuality, quantifiers, and actuality quantifiers
• Axioms for actuality
• Counterfactuals and comparative possibility
• Expressive completeness in modal language
• Expressive power of ``now and ``then operators
• Failures of the interpolation lemma in quantified modal logic
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Frame correspondences in modal predicate logic
• scientific article; zbMATH DE number 3827831 (Why is no real title available?)
• scientific article; zbMATH DE number 3604872 (Why is no real title available?)
• scientific article; zbMATH DE number 3608000 (Why is no real title available?)
• scientific article; zbMATH DE number 2019856 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (Why is no real title available?)
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• Modal logic
• Modality, quantification, and many Vlach-operators
• Model theory for modal logic. III. Existence and predication
• On modal logics which enrich first-order S5
• On the expressivity of first-order modal logic with ``actually
• Some theorems on the expressive limitations of modal languages
• The problem of cross-world predication

Cited in

(8)

• Actuality, tableaux, and two-dimensional modal logics
• The expressive power of second-order propositional modal logic
• Still in the mood: the versatility of subjunctive markers in modal logic
• Expressive power of ``now and ``then operators
• On the expressivity of first-order modal logic with ``actually
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• Some theorems on the expressive limitations of modal languages
• On modal logics which enrich first-order S5

This page was built for publication: On the expressive power of first-order modal logic with two-dimensional operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2218707)