The decision problem for combined modal logics

MaRDI QIDQ2736218zbMATH OpenFDO

Authors F. Wolter

Publication date 29 August 2001

Published in Berichte aus der Mathematik (Search for Journal in Brave)

zbMATH Keywords

converse operatordecision problemdescription logicsfragmentsfusionsmodal logicsproductsprovability logicstemporal logics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Review text

The book deals with the decision problem for a variety of modal logics and logics obtained from modal logics by certain constructions.NEWLINENEWLINENEWLINEContents: 1. Introduction; 2. Fusions of modal logics revisited; 3. Bimodal provability logics; 4. Adding the converse operator; 5. Products of modal logics; 6. Modal description logics; 7. Fragments of modal predicate logics; 8. Fragments of temporal predicate logics; Appendix A. Basic modal logic; Appendix B. Important modal systems.

Recommendations

• Many-dimensional modal logics: theory and applications
• Modal logic
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• scientific article; zbMATH DE number 1003731
• Combinations of modal logics

Cited in

(5)

• Many-dimensional modal logics: theory and applications
• Combinations of modal logics
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• The product of converse PDL and polymodal K
• Two decision problems in Contact Logics

This page was built for publication: The decision problem for combined modal logics

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