Publication:4218020
From MaRDI portal
zbMath0919.03015MaRDI QIDQ4218020
Publication date: 31 August 1999
interpolation; decidability; dynamic logic; finite model property; transfer theorems; strong completeness; model construction; weak completeness; multimodal logics; applications to deontic logic; Hallden completeness; joins of modal logics without interaction axioms
03B45: Modal logic (including the logic of norms)
Related Items
Modal logic for modelling actions and agents, Completeness and Complexity of Multi-modal CTL, Frames for fusions of modal logics, Completeness and correspondence in Chellas-Segerberg semantics, \({\mathcal E}\)-connections of abstract description systems, Multi-modal CTL: completeness, complexity, and an application, On logics with coimplication, Adding a temporal dimension to a logic system, The structure of lattices of subframe logics, Editors' introduction to the special issue on combining logics, The price of universality, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics