✦ LIBER ✦

The Relative Expressive Power of Some Logics Extending First-Order Logic

✍ Scribed by John Cowles

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Autoepistemic logic of first order and i

✍ Li-Yan Yuan 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1008 KB

The expressibility of first order dynami

✍ Bin Fu; Qiongzhang Li 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 327 KB

The power of the “always” operator in fi

✍ Michael Kaminski; Chung Kei Wong 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 852 KB

On the First-Order Logic of Terms

✍ Lars Svenonius 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 294 KB

The Completeness of Heyting First-Order

✍ W. W. Tait 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 332 KB

The expressive power of stratified logic

✍ Phokion G. Kolaitis 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 994 KB