You are not currently logged in.
Access JSTOR through your library or other institution:
A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
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
You can always find the topics here!Topics: Nonmonotonic logic, Logic, Modal logic, Reasoning, Logical theorems, Formalization, Semantics, Symptoms, Rules of inference
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1997 Springer