Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Machine-Checked Proof-Theory for Propositional Modal Logics |
scientific article |
Statements
Machine-Checked Proof-Theory for Propositional Modal Logics (English)
0 references
7 August 2020
0 references
sequent calculus
0 references
implicit derivation
0 references
explicit structural rules
0 references
backward proof search
0 references
SK rule
0 references
