Decidability of IF modal logic of perfect recall

zbMATH Open1102.03016MaRDI QIDQ5483004FDOQ5483004

Authors: Tapani Hyttinen, Tero Tulenheimo 

Publication date: 15 August 2006

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

zbMATH Keywords

satisfiabilityvalidity

Mathematics Subject Classification ID

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

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)