System EK4

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

[Surendonk, 1998] "Canonicity for Intensional Logics"

Full Definition

Based on

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

Basis for

(None listed)


Community requests


Go to ...


© 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