Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

A Simple Incomplete Extension of T Which Is the Union of Two Complete Modal Logics with f.m.p.

Roy A. Benton
Journal of Philosophical Logic
Vol. 31, No. 6 (Dec., 2002), pp. 527-541
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226772
Page Count: 15
  • Download ($43.95)
  • Cite this Item
A Simple Incomplete Extension of T Which Is the Union of Two Complete Modal Logics with f.m.p.
Preview not available

Abstract

I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well.

Page Thumbnails

  • Thumbnail: Page 
[527]
    [527]
  • Thumbnail: Page 
528
    528
  • Thumbnail: Page 
529
    529
  • Thumbnail: Page 
530
    530
  • Thumbnail: Page 
531
    531
  • Thumbnail: Page 
532
    532
  • Thumbnail: Page 
533
    533
  • Thumbnail: Page 
534
    534
  • Thumbnail: Page 
535
    535
  • Thumbnail: Page 
536
    536
  • Thumbnail: Page 
537
    537
  • Thumbnail: Page 
538
    538
  • Thumbnail: Page 
539
    539
  • Thumbnail: Page 
540
    540
  • Thumbnail: Page 
541
    541