Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Analyzing completeness of axiomatic functional systems for temporal × modal logics |
scientific article |
Statements
Analyzing completeness of axiomatic functional systems for temporal × modal logics (English)
0 references
16 February 2010
0 references
modal logic
0 references
temporal logic
0 references
completeness
0 references
\(\text{T}\times\text{W}\) logics
0 references
0 references
0 references
0 references