OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Frame-validity games and absolute minimality of modal axioms

Balbiani, Philippe and Fernández-Duque, David and Herzig, Andreas and Iliev, Petar Frame-validity games and absolute minimality of modal axioms. (2018) In: 12th International Conference on Advances in Modal Logic (AiML 2018), 27 August 2018 - 31 August 2018 (Berne, Switzerland).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
518kB

Abstract

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.

Item Type:Conference or Workshop Item (Paper)
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 - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Universiteit Gent - UGENT (BELGIUM)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:08 Mar 2019 08:50

Repository Staff Only: item control page