Products of modal logics. Part 2: relativised quantifiers in classical logic

DOI10.1093/jigpal/8.2.165zbMath0970.03025OpenAlexW2004236838MaRDI QIDQ4952023

Valentin Shehtman, Dov M. Gabbay

Publication date: 27 July 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.2.165

zbMATH Keywords

finite model propertydecidable fragment of classical logicrelativised quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (10)

The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Axiomatization and completeness of lexicographic products of modal logics ⋮ A description logic based situation calculus ⋮ A simple logic of the hide and seek game ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ On squares of modal logics with additional connectives ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ On the Essential Flatness of Possible Worlds

This page was built for publication: Products of modal logics. Part 2: relativised quantifiers in classical logic