A henkin-style completeness proof for the modal logic S5 (Q2695534)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A henkin-style completeness proof for the modal logic S5 |
scientific article |
Statements
A henkin-style completeness proof for the modal logic S5 (English)
0 references
31 March 2023
0 references
modal logic
0 references
completeness
0 references
formal methods
0 references
lean
0 references
0 references
