Here and There modal logic with dual implication - Centre européen de réalité virtuelle
Conference Papers Year : 2018

Here and There modal logic with dual implication

Abstract

We define and study an extension of the logic of Here and There with dual implication and modal operators of necessity and possibility. We provide a complete axiomatisation. We prove as well other results such as the interdefinability of modal operators and the Hennessy-Milner property. We give an upper bound to the complexity of the satisfiability problem.
Fichier principal
Vignette du fichier
Balbiani-Dieguez.pdf (415.46 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01891169 , version 1 (22-08-2022)

Identifiers

  • HAL Id : hal-01891169 , version 1

Cite

Philippe Balbiani, Martin Dieguez. Here and There modal logic with dual implication. 12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82. ⟨hal-01891169⟩
243 View
63 Download

Share

More