Simulation and transfer results in modal logic -- a survey

DOI10.1023/A:1004900300438zbMath0960.03014OpenAlexW1552559776MaRDI QIDQ1372357

Frank Wolter, Marcus Kracht

Publication date: 4 March 2001

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

surveyextensionsmodal logictense logicintuitionistic logictransferinterpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Simulating polyadic modal logics by monadic ones, $\aleph_1$ and the modal $\mu$-calculus, A Logic of Knowing How, An NP-complete fragment of fibring logic, A logic of goal-directed knowing how, Fibring as biporting subsumes asymmetric combinations, Modal logics that need very large frames, Elementary canonical formulae: extending Sahlqvist's theorem, On combinations of propositional dynamic logic and doxastic modal logics, Completeness and Complexity of Multi-modal CTL, Metatheory of actions: beyond consistency, Multi-modal CTL: completeness, complexity, and an application, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS