The Consistency of Syntactical Treatments of Knowledge.

Jim des Rivires, Hector J. Levesque

Browse the full TARK paper archive.