Setting the Basis for Here and There Modal Logics - Université Toulouse - Jean Jaurès Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications Année : 2019

Setting the Basis for Here and There Modal Logics

Résumé

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.
Fichier principal
Vignette du fichier
Balbiani-final.pdf (372.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02936402 , version 2 (11-09-2020)
hal-02936402 , version 1 (16-09-2020)

Identifiants

  • HAL Id : hal-02936402 , version 2
  • OATAO : 26274

Citer

Philippe Balbiani, Martin Dieguez, Luis Fariñas del Cerro. Setting the Basis for Here and There Modal Logics. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500. ⟨hal-02936402v2⟩
53 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More