Studia Logica

, Volume 58, Issue 1, pp 113–127

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

  • Anna Gomolińska

DOI: 10.1023/A:1004996032649

Cite this article as:
Gomolińska, A. Studia Logica (1997) 58: 113. doi:10.1023/A:1004996032649


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 

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