A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection Article DOI:
Cite this article as: Gomolińska, A. Studia Logica (1997) 58: 113. doi:10.1023/A:1004996032649 Abstract
The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.
autoepistemic logic nonmonotonic modal logics possible-world semantics References
Chellas, B. F.
Modal Logic: An Introduction
, Cambridge University Press, New York.
Hughes, G. E. and Cresswell, M. J.
A Companion to Modal Logic
, Methuen, London and New York.
GomoliŃska, A., 1993, 'On Logical Methods of Knowledge Representation with Incomplete Information' (in Polish). Ph. D. dissertation, University of Warsaw.
GomoliŃska A., 1994, On the Logic of Acceptance and Rejection, Uppsala Prints and Preprints in Philosophy, 7.
Moore, R. C.
, 1985, 'Semantical Considerations on Nonmonotonic Logic, '
Moore, R. C., 1987, 'Possible-World Semantics for Autoepistemic Logic', in Readings in Nonmonotonic Reasoning, M. L. Ginsberg ed., Morgan Kaufmann, 137-142.
Pogorzelski, W. A.
The Classical Propositional Calculus
(in Polish), PWN, Warszawa.
Pogorzelski, W. A., 1994, Notions and Theorems of Elementary Formal Logic, Warsaw University — Białystok Division.
Schwarz, G., 1990, 'Autoepistemic Modal Logics', in Proceedings of the 3rd Conference TARK (1990), R. Parikh ed., Morgan Kaufmann, 97-109.
Schwarz, G., 1991, 'Autoepistemic Logic of Knowledge', in Proceedings of the 1st International Workshop on Logic Programming and Nonmonotonic Reasoning, A. Nerode, W. Marek, and V. S. Subrahmanian eds., MIT Press, 260-274.
, 1993, 'A Note on Nonmonotonic Modal Logic',
Google Scholar Copyright information
© Kluwer Academic Publishers 1997