Combinations of modal logics
From MaRDI portal
Publication:1604670
DOI10.1023/A:1015057926707zbMath1014.68158OpenAlexW2168075365WikidataQ56988888 ScholiaQ56988888MaRDI QIDQ1604670
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
Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Temporal logic (03B44)
Related Items (8)
Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ Combined model checking for temporal, probabilistic, and real-time 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 ⋮ Functional systems in the context of temporal×modal logics with indexed flows ⋮ Quantificational modal logic with sequential Kripke semantics ⋮ Clausal resolution in a logic of rational agency ⋮ Logics for Temporal Information Systems in Rough Set Theory
This page was built for publication: Combinations of modal logics
