✦ LIBER ✦

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

✍ Scribed by Moritz Hardt; Gert Smolka

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Topological Completeness for Higher-Orde

✍ S. Awodey and C. Butz 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB

The Theory of Contexts for First Order a

✍ Furio Honsell; Marino Miculan; Ivan Scagnetto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Cumulative Higher-Order Logic as a Found

✍ Wolfgang Degen; Jan Johannsen 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 388 KB

A novel approach for devising higher-ord

✍ K. Y. Sze 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 708 KB

[Lecture Notes in Computer Science] Logi

✍ Pfenning, Frank 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 857 KB

A higher-order unification algorithm for

✍ Qingping Tan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 626 KB