Fixed points in propositional nonmonotonic logic (Q1115426): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:14, 5 March 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