A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788)
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: A Łukasiewicz-style refutation system for the modal logic S4 |
scientific article; zbMATH DE number 851853
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Łukasiewicz-style refutation system for the modal logic S4 |
scientific article; zbMATH DE number 851853 |
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
