System EK4

[Surendonk, 1995] "Does EK4 have the Finite Model Property?"

[Surendonk, 1998] "Canonicity for Intensional Logics"

Full Definition

• PC
  • Modus Ponens
  • Uniform substitution
• Definitions
  • Mp is ~L~p
• Rules
  • From A<=>B Infer LA<=>LB
• Axioms
  • K: L(p>q)>(Lp>Lq)
  • 4: Lp>LLp

Based on

EK4 = + System E + Axiom K:[L(p>q)>(Lp>Lq)] + Axiom 4:[Lp>LLp]

Basis for

(None listed)

Community requests

• If anyone has a completeness proof for this system, Dr. Timothy Surendonk <Timothy.Surendonk@bigfoot.com> would appreciate hearing about it.

Go to ...

• Bibliography Page
• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ek4.html
This page was last modified on January 23rd, 2008