𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by S. I. Mardaev

Publisher
Springer US
Year
1993
Tongue
English
Weight
208 KB
Volume
32
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fixed points in the propositional nonmon
Fixed points in the propositional nonmonotonic logic
✍ Grigory F. Shvarts 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 317 KB

We give an explicit description of fixed points for propositional theories in the nonmonotonic logic of McDermott and Doyle. Using this description we refute two claims from McDermott and Doyle's original paper.

Explicit Fixed Points in Interpretabilit
Explicit Fixed Points in Interpretability Logic
✍ Dick Jongh; Albert Visser 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 496 KB

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryfiski.