Skip to Main content Skip to Navigation
Journal articles

Setting the basis for Here and There modal logic

Philippe Balbiani 1 Martín Diéguez 1 Luis Fariñas del Cerro 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [49 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, September 16, 2020 - 5:38:23 PM
Last modification on : Friday, September 18, 2020 - 3:31:26 AM


Files produced by the author(s)


  • HAL Id : hal-02941031, version 1
  • OATAO : 26274


Philippe Balbiani, Martín Diéguez, 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-02941031⟩



Record views


Files downloads