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.
Cited literature [20 references]
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
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)