Axiomatization and completeness of lexicographic products of modal logics

Authors:
Philippe Balbiani
Affiliations:
CNRS, Université de Toulouse, Institut de recherche en informatique de Toulouse Cedex 9, France
Venue:
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Year:
2009

Citing 4
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Formal Methods in Human-Computer Interaction

Formal Methods in Human-Computer Interaction
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper sets out a new way of combining Kripke-complete modal logics: lexicographic product. It discusses some basic properties of the lexicographic product construction and proves axiomatization/completeness results.