Here and There modal logic with dual implication - Archive ouverte HAL Access content directly
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⟩
186 View
43 Download

Share

Gmail Mastodon Facebook X LinkedIn More