Article Dans Une Revue Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications Année : 2019

Setting the basis for Here and There modal logic

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_26274.pdf (501.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-02936402 , version 1

Citer

Philippe Balbiani, Martin Dieguez, Luis Fariñas del Cerro. Setting the basis for Here and There modal logic. Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500. ⟨hal-02936402v1⟩
207 Consultations
339 Téléchargements

Partager

  • More