Self-Reference, Knowledge, Belief, and Modality

Donald Perlis

An apparently negative result of Montague has diverted research in formal modalities away from syntactic ("first-order") approaches, encouraging rather weak and semantically complex modal formalisms, especially in representing epistemic notions. We show that, Montague notwithstanding, consistent and straightforward first-order syntactic treatments of modality are possible, especially for belief and knowledge; that the usual modal treatments are on no firmer ground than first-order ones when endowed with self-reference; and that in the latter case there still are remedies.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.