Tense Logic Without Tense Operators (Q4879194)
From MaRDI portal
scientific article; zbMATH DE number 881739
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tense Logic Without Tense Operators |
scientific article; zbMATH DE number 881739 |
Statements
Tense Logic Without Tense Operators (English)
0 references
19 March 1997
0 references
lattice of normal tense logics
0 references
weak orderings
0 references
decidability
0 references
axiomatizability
0 references
completeness
0 references
0 references
