Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323)
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: Falsification-aware calculi and semantics for normal modal logics including S4 and S5 |
scientific article; zbMATH DE number 7726395
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Falsification-aware calculi and semantics for normal modal logics including S4 and S5 |
scientific article; zbMATH DE number 7726395 |
Statements
Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (English)
0 references
14 August 2023
0 references
modal logic S4
0 references
modal logic S5
0 references
Nelson's constructive three-valued logic N3
0 references
falsification-aware (hyper)sequent calculus
0 references
falsification-aware Kripke semantics
0 references
completeness theorem
0 references
cut-elimination theorem
0 references
0 references
