Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity |
scientific article; zbMATH DE number 7471461
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity |
scientific article; zbMATH DE number 7471461 |
Statements
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (English)
0 references
8 February 2022
0 references
modal logic
0 references
proof-theory
0 references
hypersequents
0 references
semantics
0 references
complexity
0 references
0.88183624
0 references
0.8096514
0 references
0.8088651
0 references
0.7800183
0 references
0.7745713
0 references
0.7718294
0 references
0.77142614
0 references
0.76507723
0 references
