A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simple incomplete extension of T which is the union of two complete modal logics with f. m. p |
scientific article |
Statements
A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (English)
0 references
27 April 2003
0 references
A simple modal extension of system T, called KTLM, is presented. KTLM is the union of two logics, KM and KTL, each of which has the finite model property and is therefore complete. It is shown, however, that KTLM is not complete.
0 references
modal logic
0 references
completeness
0 references
modal extension of system T
0 references
finite model property
0 references
