OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Setting the basis for Here and There modal logic

Balbiani, Philippe and Diéguez, Martín and Fariñas del Cerro, Luis Setting the basis for Here and There modal logic. (2019) Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 6 (7). 1475-1500. ISSN 2631-9810

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://www.collegepublications.co.uk/ifcolog/?00036


We define and study a new modal extension of the logic of Here and There with operators from modal logic K. We provide a complete axiomatisation together with several results such as the non-interdefinability of modal operators, the Hennessy-Milner and the finite model properties, a bound for the complexity of the related satisfiability problem and a discussion about the canonicity of some well-known Sahlqvist formulas in our setting. We also consider the equilibrium property on this logic and we prove the theorem of strong equivalence in the resulting framework.

Item Type:Article
Additional Information:978-1-84890-320-3
HAL Id:hal-02941031
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (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)
Laboratory name:
Deposited On:25 Aug 2020 12:46

Repository Staff Only: item control page