Fixed points in propositional nonmonotonic logic (Q1115426): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 03:36, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed points in propositional nonmonotonic logic |
scientific article |
Statements
Fixed points in propositional nonmonotonic logic (English)
0 references
1989
0 references
An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the sequence \((NM^ i_ A(B))\) to the unique fixed point of \(NM_ A\) containing B is derived, when B is admissible for A. As a consequence, in Corollary 1.7, it is pointed out that the claim concerning the accessibility of the fixed point of \(NM_ A\) in case \(NM_ A\) has a unique fixed point, asserted by McDermott and Doyle, is not true.
0 references
nonmonotonic reasoning
0 references
nonmonotonic logic
0 references
fixed point
0 references