Balbiani, Philippe and Fernández-Duque, David
Axiomatizing the lexicographic products of modal logics with linear temporal logic.
(2016)
In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 425kB |
Official URL: http://www.aiml.net/volumes/volume11/Balbiani-FernandezDuque.pdf
Abstract
Given modal logics L1 and L2, their lexicographic product L1 x L2 is a new logic whose frames are the Cartesian products of an L1-frame and an L2-frame, but with the new accessibility relations reminiscent of a lexicographic ordering. This article considers the lexicographic products of several modal logics with linear temporal logic (LTL) based on ``next'' and ``always in the future''. We provide axiomatizations for logics of the form L x LTL and define cover-simple classes of frames; we then prove that, under fairly general conditions, our axiomatizations are sound and complete whenever the class of L-frames is cover-simple. Finally, we prove completeness for several concrete logics of the form L x LTL.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | This papers appears in volume 11 of Advances in Modal Logic ISBN : 978-1-84890-201-5 The original PDF of the article can be found at: http://www.aiml.net/volumes/volume11/Balbiani-FernandezDuque.pdf |
HAL Id: | hal-03658877 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) Other partners > Instituto Tecnológico Autónomo de México - ITAM (MEXICO) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 21 Nov 2017 08:11 |
Repository Staff Only: item control page