Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279)
From MaRDI portal
scientific article; zbMATH DE number 7098173
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatic and dual systems for constructive necessity, a formally verified equivalence |
scientific article; zbMATH DE number 7098173 |
Statements
Axiomatic and dual systems for constructive necessity, a formally verified equivalence (English)
0 references
26 August 2019
0 references
modal logic S4
0 references
constructive logic
0 references
natural deduction
0 references
formal verification
0 references
COQ
0 references
