Studia Logica 58 (1):113-127 (1997)
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.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Embedding Modal Nonmonotonic Logics Into Default Logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
Two Approaches to the Formalisation of Defeasible Deontic Reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
Added to index2009-01-28
Total downloads15 ( #311,236 of 2,158,357 )
Recent downloads (6 months)1 ( #355,511 of 2,158,357 )
How can I increase my downloads?