On the informal and formal semantics of Default and Autoepistemic logic Default logic is not a logic of defaults Marc Denecker Victor Marek and Miroslav Truszczy´ nski

First Page		Document Content
		On the informal and formal semantics of Default and Autoepistemic logic Default logic is not a logic of defaults Marc Denecker Victor Marek and Miroslav Truszczy´ nski Add to Reading List Source URL: people.cs.kuleuven.be Download Document from Source Website File Size: 149,71 KB Share Document on Facebook