Least fixed points in the Gödel-Löb logic (Q1346924)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Least fixed points in the Gödel-Löb logic |
scientific article |
Statements
Least fixed points in the Gödel-Löb logic (English)
0 references
20 April 1995
0 references
We prove a fixed-point theorem for positive schemes in the Gödel-Löb modal propositional logic GL which is similar to those proved in the author's paper reviewed above for intuitionistic and Grzegorczyk's logics. It is known that a theorem on the existence and uniqueness of a fixed point is valid in the logic GL for formulas in which all occurrences of the distinguished variable are within the scope of modalities. Here we consider a somewhat different family of formulas.
0 references
fixed-point theorem
0 references
positive schemes
0 references
Gödel-Löb modal propositional logic
0 references
0 references