𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixed-Point Logics and Solitaire Games

✍ Scribed by Dietmar Berwanger; Erich Grädel

Publisher
Springer
Year
2004
Tongue
English
Weight
288 KB
Volume
37
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.

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.