System K4


This is not Sobociński's original K4 system. That system is K4 (Sobociński)


This system has transitive frame conditions. [Hughes and Cresswell, 1996, p64>]

There exists a clausal tableau system for K4 (K+4) that has space requirements on the order of N log N. [Nguyen, 1999]

System K4 (K+4) is the system K plus the axiom 4 [Hughes and Cresswell, 1996, p362] [Chellas, 1980, p131]

Basis for

System KD4 is the system K4 (K+4) plus the D axiom Lp>Mp. [Hughes and Cresswell, 1996, p64]

Go to ...

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on October 2nd, 2005