Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

Abstract

We develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct countermodel extraction. Moreover they provide an optimal decision procedure for the respective logics. They also enjoy standard proof-theoretical properties, such as a syntactical proof of cut-admissibility.
Fichier principal
Vignette du fichier
DLOP_LFCS2020.pdf (517.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02436312 , version 1 (13-01-2020)

Identifiers

  • HAL Id : hal-02436312 , version 1

Cite

Björn Lellmann, Nicola Olivetti, Elaine Pimentel, Tiziano Dalmonte. Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. Logical Foundations of Computer Science - International Symposium, LFCS 2020, Jan 2020, Deerfield Beach, United States. ⟨hal-02436312⟩
46 View
209 Download

Share

Gmail Facebook Twitter LinkedIn More