Least fixed points in the Gödel-Löb logic

DOI10.1007/BF02263055zbMath0815.03008OpenAlexW2072389780MaRDI QIDQ1346924

S. I. Mardaev

Publication date: 20 April 1995

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02263055

zbMATH Keywords

fixed-point theorempositive schemesGödel-Löb modal propositional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Fixed points and unfounded chains ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03

Cites Work

• Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
• Unnamed Item

This page was built for publication: Least fixed points in the Gödel-Löb logic