Axiomatization and completeness of lexicographic products of modal logics

DOI10.3166/JANCL.21.141-176zbMath1242.03048OpenAlexW2064379920MaRDI QIDQ2901209

Philippe Balbiani

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.141-176

Mathematics Subject Classification ID

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

Related Items (1)

Axiomatization and Completeness of Lexicographic Products of Modal Logics

Cites Work

• Unnamed Item
• Dynamic epistemic logic
• Many-dimensional modal logics: theory and applications
• The price of universality
• The extensions of the modal logic K5
• The decidability of normal K5 logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Products of modal logics, part 1
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• The Logics Containing S 4.3

This page was built for publication: Axiomatization and completeness of lexicographic products of modal logics