Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

Anna Gomolińska
Studia Logica: An International Journal for Symbolic Logic
Vol. 58, No. 1, Reasoning with Incomplete Information (Jan., 1997), pp. 113-127
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015895
Page Count: 15
  • Download ($43.95)
  • Cite this Item
A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[113]
    [113]
  • Thumbnail: Page 
114
    114
  • Thumbnail: Page 
115
    115
  • Thumbnail: Page 
116
    116
  • Thumbnail: Page 
117
    117
  • Thumbnail: Page 
118
    118
  • Thumbnail: Page 
119
    119
  • Thumbnail: Page 
120
    120
  • Thumbnail: Page 
121
    121
  • Thumbnail: Page 
122
    122
  • Thumbnail: Page 
123
    123
  • Thumbnail: Page 
124
    124
  • Thumbnail: Page 
125
    125
  • Thumbnail: Page 
126
    126
  • Thumbnail: Page 
127
    127