𝔖 Bobbio Scriptorium
✦   LIBER   ✦

SUPERVALUATION FIXED-POINT LOGICS OF TRUTH

✍ Scribed by Philip Kremer; Alasdair Urquhart

Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
373 KB
Volume
37
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Fixed-Point Logics and Solitaire Games
Fixed-Point Logics and Solitaire Games
✍ Dietmar Berwanger; Erich GrΓ€del πŸ“‚ Article πŸ“… 2004 πŸ› Springer 🌐 English βš– 288 KB
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.