A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335)
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 simple incomplete extension of T which is the union of two complete modal logics with f. m. p |
scientific article; zbMATH DE number 1901399
| 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; zbMATH DE number 1901399 |
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
