Combinations of modal logics

DOI10.1023/A:1015057926707MaRDI QIDQ1604670zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

modal logicsknowledge representation

Mathematics Subject Classification ID

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

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

Cited in

(21)

• Structuralist modals and the combination of logics
• The decision problem for combined modal logics
• Bringing them all together
• Towards a general theory of the combination of logics
• Multi-dimensional modal logic
• Compositional reasoning for multi-modal logics
• Combining logics in simple type theory
• Quantificational modal logic with sequential Kripke semantics
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• Modular many-valued semantics for combined logics
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• An NP-complete fragment of fibring logic
• Asymmetric combination of logics is functorial: a survey
• Combined model checking for temporal, probabilistic, and real-time logics
• Combinations and completeness transfer for quantified modal logics
• Functional systems in the context of temporal×modal logics with indexed flows
• Clausal resolution in a logic of rational agency
• Editors' introduction to the special issue on combining logics
• Logics for Temporal Information Systems in Rough Set Theory
• Fibring logics
• scientific article; zbMATH DE number 2209447 (Why is no real title available?)

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)