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
This page was last modified on January 23rd, 2008