✦ LIBER ✦

The expressibility of first order dynamic logic

✍ Scribed by Bin Fu; Qiongzhang Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Relative Expressive Power of Some Lo

✍ John Cowles 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 408 KB

Autoepistemic logic of first order and i

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

On the first-order expressibility of lat

✍ Paul Bankston 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 171 KB

Epsilon-Logic Is More Expressive Than Fi

✍ Martin Otto 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 236 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