Simulation and transfer results in modal logic -- a survey
From MaRDI portal
Publication:1372357
DOI10.1023/A:1004900300438zbMath0960.03014MaRDI QIDQ1372357
Publication date: 4 March 2001
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Completeness and Complexity of Multi-modal CTL, $\aleph_1$ and the modal $\mu$-calculus, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Modal logics that need very large frames, An NP-complete fragment of fibring logic, On combinations of propositional dynamic logic and doxastic modal logics, Metatheory of actions: beyond consistency, Multi-modal CTL: completeness, complexity, and an application, Fibring as biporting subsumes asymmetric combinations, Elementary canonical formulae: extending Sahlqvist's theorem, Simulating polyadic modal logics by monadic ones, A Logic of Knowing How