Monotonic and Non-Monotonic Logics of Knowledge¹

Article type: Research Article

Authors: Parikh, Rohit^{a; b; *}

Affiliations: [a] Brooklyn College of CUNY | [b] CUNY Graduate Center

Note: [1] The results in this paper were reported in a preliminary form in [P84].

Note: [*] 33 West 42nd Street, New York, NY 10036. This research was supported by NSF grant MCS 8304959 and a grant from the CUNY Faculty Research Assistance Program.

Abstract: We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.

DOI: 10.3233/FI-1991-153-405

Journal: Fundamenta Informaticae, vol. 15, no. 3-4, pp. 255-274, 1991