Axiomatization and Completeness of Lexicographic Products of Modal Logics

DOI10.1007/978-3-642-04222-5_10zbMath1193.03035OpenAlexW1540385650MaRDI QIDQ3655198

Philippe Balbiani

Publication date: 7 January 2010

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_10

zbMATH Keywords

modal logiclexicographic productaxiomatization/completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Related Items (1)

About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• Many-dimensional modal logics: theory and applications
• The price of universality
• Axiomatization and completeness of lexicographic products of modal logics
• 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
• The Logics Containing S 4.3

This page was built for publication: Axiomatization and Completeness of Lexicographic Products of Modal Logics