Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-amu.archives-ouvertes.fr/hal-02436312
Contributor : Nicola Olivetti <>
Submitted on : Monday, January 13, 2020 - 8:38:50 AM
Last modification on : Monday, March 30, 2020 - 8:48:58 AM
Long-term archiving on: : Tuesday, April 14, 2020 - 1:21:27 PM

File

DLOP_LFCS2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02436312, version 1

Citation

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⟩

Share

Metrics

Record views

99

Files downloads

143