Decidability of IF modal logic of perfect recall

MaRDI QIDQ5483004zbMATH OpenFDO

Authors Tapani Hyttinen, Tero Tulenheimo

Publication date 15 August 2006

zbMATH Keywords

satisfiabilityvalidity

Mathematics Subject Classification ID

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

Recommendations

• An incomplete decidable modal logic
• Decidability of multi-modal logic LTK of linear time and knowledge
• scientific article; zbMATH DE number 5295726
• PSPACE-decidability of Japaridze's polymodal logic

Cited in

(5)

• Equivalence criteria for compositional IF modal logics
• IF modal logic and classical negation
• Independence-friendly logic without Henkin quantification
• Hybrid logic meets IF modal logic
• PSPACE-decidability of Japaridze's polymodal logic

This page was built for publication: Decidability of IF modal logic of perfect recall

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