System K4

Disambiguation

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

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/k4.html
This page was last modified on October 2nd, 2005