✦ LIBER ✦

Expressive equivalence of least and inflationary fixed-point logic

✍ Scribed by Stephan Kreutzer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the expressive power of monadic least

✍ Nicole Schweikardt 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 323 KB

Least fixed points in grzegorczyk's logi

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

Fixed point sets and equivalence of diff

✍ T. E. Stewart 📂 Article 📅 1963 🏛 European Mathematical Society 🌐 English ⚖ 459 KB

Computing the Least Fixed Point of Posit

✍ Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael 📂 Article 📅 2010 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 857 KB

A note on the equivalence of some metric

✍ Zoran Kadelburg; Stojan Radenović; Vladimir Rakočević 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Largest and least fixed point theorems o

✍ Jiang, Shujun; Li, Zhilong 📂 Article 📅 2013 🏛 Springer International Publishing AG 🌐 English ⚖ 184 KB