Fixed points in propositional nonmonotonic logic (Q1115426): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-monotonic logic. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4196401 / rank | |||
Normal rank |
Latest revision as of 13:57, 19 June 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