Studia Logica

, Volume 58, Issue 1, pp 113–127 | Cite as

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

  • Anna Gomolińska


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 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, New York.Google Scholar
  2. [2]
    Hughes, G. E. and Cresswell, M. J., 1984, A Companion to Modal Logic, Methuen, London and New York.Google Scholar
  3. [3]
    GomoliŃska, A., 1993, 'On Logical Methods of Knowledge Representation with Incomplete Information' (in Polish). Ph. D. dissertation, University of Warsaw.Google Scholar
  4. [4]
    GomoliŃska A., 1994, On the Logic of Acceptance and Rejection, Uppsala Prints and Preprints in Philosophy, 7.Google Scholar
  5. [5]
    Moore, R. C., 1985, 'Semantical Considerations on Nonmonotonic Logic, ' Artificial Intelligence, 25(1), 75-94.Google Scholar
  6. [6]
    Moore, R. C., 1987, 'Possible-World Semantics for Autoepistemic Logic', in Readings in Nonmonotonic Reasoning, M. L. Ginsberg ed., Morgan Kaufmann, 137-142.Google Scholar
  7. [7]
    Pogorzelski, W. A., 1975, The Classical Propositional Calculus (in Polish), PWN, Warszawa.Google Scholar
  8. [8]
    Pogorzelski, W. A., 1994, Notions and Theorems of Elementary Formal Logic, Warsaw University — Białystok Division.Google Scholar
  9. [9]
    Schwarz, G., 1990, 'Autoepistemic Modal Logics', in Proceedings of the 3rd Conference TARK (1990), R. Parikh ed., Morgan Kaufmann, 97-109.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    Stalnaker, R., 1993, 'A Note on Nonmonotonic Modal Logic', Artificial Intelligence, 64(2), 183-196.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Anna Gomolińska
    • 1
  1. 1.Bialystok Division Akademicka 2Institute of Mathematics University of WarsawBialystokPoland

Personalised recommendations