✦ LIBER ✦

Explicit Fixed Points in Interpretability Logic

✍ Scribed by Dick Jongh; Albert Visser

Publisher: Springer Netherlands
Year: 1991
Tongue: English
Weight: 496 KB
Volume: 50
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370386

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 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.

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

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

✍ S. I. Mardaev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 208 KB

Explicit Hierarchical Fixed Point Approa

Explicit Hierarchical Fixed Point Approach to

✍ Giuseppe Marino; Hong-Kun Xu 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 577 KB

Logical definability of fixed points

✍ André Arnold 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 940 KB

Some independence results in interpretab

Some independence results in interpretability logic

✍ Vítězslav Švejdar 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 499 KB

Least fixed points in grzegorczyk's logi

Least fixed points in grzegorczyk's logic and in the intuitionistic propositional logic

✍ S. I. Mardaev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 637 KB