Combinations of modal logics

DOI10.1023/A:1015057926707zbMATH Open1014.68158OpenAlexW2168075365WikidataQ56988888 ScholiaQ56988888MaRDI QIDQ1604670FDOQ1604670

Authors: R. Smith 

Publication date: 8 July 2002

Published in: Artificial Intelligence Review (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015057926707

Recommendations

• Editors' introduction to the special issue on combining logics
• Fibring logics
• scientific article; zbMATH DE number 1140670
• Towards a general theory of the combination of logics
• The decision problem for combined modal logics

zbMATH Keywords

modal logicsknowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Cited In (16)

• The decision problem for combined modal logics
• Clausal resolution in a logic of rational agency
• Combined model checking for temporal, probabilistic, and real-time logics
• Quantificational modal logic with sequential Kripke semantics
• Logics for Temporal Information Systems in Rough Set Theory
• Title not available (Why is that?)
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• Functional systems in the context of temporal×modal logics with indexed flows
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• An NP-complete fragment of fibring logic
• Bringing them all together
• Multi-dimensional modal logic
• Editors' introduction to the special issue on combining logics
• Combining logics in simple type theory
• Towards a general theory of the combination of logics
• Structuralist modals and the combination of logics

This page was built for publication: Combinations of modal logics

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