Simulation of two dimensions in unimodal logics

zbMATH Open1254.03018MaRDI QIDQ2904064FDOQ2904064

Authors: Ilya Shapirovsky 

Publication date: 5 August 2012

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

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)

Cited In (3)

• Undecidability of compass logic
• 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)