scientific article; zbMATH DE number 1222489

zbMath0919.03015MaRDI QIDQ4218020

Gerhard Schurz, Kit Fine

Publication date: 31 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolationdecidabilitydynamic logicfinite model propertytransfer theoremsstrong completenessmodel constructionweak completenessmultimodal logicsapplications to deontic logicHallden completenessjoins of modal logics without interaction axioms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (14)

The structure of lattices of subframe logics ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Frames for fusions of modal logics ⋮ Modal logic for modelling actions and agents ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ Editors' introduction to the special issue on combining logics ⋮ The price of universality ⋮ On logics with coimplication ⋮ Completeness and Complexity of Multi-modal CTL ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics ⋮ Adding a temporal dimension to a logic system ⋮ \({\mathcal E}\)-connections of abstract description systems

This page was built for publication: