Simulation of two dimensions in unimodal logics

MaRDI QIDQ2904064zbMATH OpenFDO

Authors Ilya Shapirovsky

Publication date 5 August 2012

zbMATH Keywords

interval temporal logicundecidabilityproducts of modal logicslack of finite model propertyunimodal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• A Universally Defined Undecidable Unimodal Logic
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• Highway to the Danger Zone
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Undecidability of modal and intermediate first-order logics with two individual variables

Cited in

(4)

• Undecidability of compass logic
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• Highway to the Danger Zone

This page was built for publication: Simulation of two dimensions in unimodal logics

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