A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Łukasiewicz-style refutation system for the modal logic S4 |
scientific article |
Statements
A Łukasiewicz-style refutation system for the modal logic S4 (English)
0 references
6 March 1996
0 references
The author gives a complete axiomatics for the set of modal formulas not belonging to the modal logic S4.
0 references
complete axiomatics
0 references
modal logic
0 references
