Linear modalities in mininal logic (Q1866867)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1899984
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Linear modalities in mininal logic |
scientific article; zbMATH DE number 1899984 |
Statements
Linear modalities in mininal logic (English)
0 references
23 April 2003
0 references
The author proves that in the minimal modal logic any linear modality (i.e. any finite sequence of negation operators \(\neg\) and necessity operators \(\square\)), containing at least one occurrence of \(\square\), obeys only the same laws as the operator \(\square\).
0 references
minimal logic
0 references
linear modality
0 references
0 references
0 references
0 references
0 references
0.90549624
0 references
