Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/976

 Title: Representing Autoepistemic Logic in Modal Logic Authors: Brown, Frank Keywords: Autoepistemic LogicModal LogicNonmonotonic Logic Issue Date: 2003 Publisher: Institute of Information Theories and Applications FOI ITHEA Abstract: The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold. URI: http://hdl.handle.net/10525/976 ISSN: 1313-0463 Appears in Collections: Volume 10 Number 4

Files in This Item:

File Description SizeFormat