From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark Add to Reading List Document Date: 2003-04-22 05:25:40 Open Document File Size: 102,08 KB Share Result on Facebook

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Informatics and Mathematical Modelling Technical University of Denmark Add to Reading List