You are not currently logged in.
Access JSTOR through your library or other 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
You can always find the topics here!Topics: Modal logic, Philosophical axioms, Logical theorems, Boolean data, Finite model property, Conditioned reflexes, Model theory, Semantics, Axioms, Syntax
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Journal of Philosophical Logic © 2002 Springer