OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Here and There modal logic with dual implication

Balbiani, Philippe and Dieguez, Martin Here and There modal logic with dual implication. (2018) In: 12th International Conference 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
430kB

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 property. Using these games we prove that the Löb axiom and the (m,n)-transfer axioms are optimal among those defining their 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 > Ecole Nationale d'Ingénieurs de Brest - ENIB (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:19 Feb 2019 14:43

Repository Staff Only: item control page