A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 04:59, 5 March 2024
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
