System KD4

Sorry, I don't have a good reference for it.


Technical Notes

There exists a clausal tableau system for KD4 that has space requriements on the order of N log N. [Nguyen, 1999]

Based on

System KD4 is the system K4 plus the axiom D [Lp>Mp]

Basis for

Go to ...

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