Balbiani, Philippe and Diéguez, Martín
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).
![]() |
(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 - 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 > Ecole Nationale d'Ingénieurs de Brest - ENIB (FRANCE) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 19 Feb 2019 14:43 |
Repository Staff Only: item control page