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
Modal logics that need very large frames, On combinations of propositional dynamic logic and doxastic modal logics, Metatheory of actions: beyond consistency, Multi-modal CTL: completeness, complexity, and an application, Elementary canonical formulae: extending Sahlqvist's theorem, Simulating polyadic modal logics by monadic ones