✦ LIBER ✦

An Extension of Computational Logic

✍ Scribed by Alan Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Proceedings. 19

✍ Thrift, P. 📂 Article 📅 1988 🏛 IEEE Comput. Soc. Press ⚖ 376 KB

[IEEE 2010 25th Annual IEEE Symposium on

✍ Bojanczyk, Mikolaj; Lasota, Slawomir 📂 Article 📅 2010 🏛 IEEE ⚖ 341 KB

A Correct Logic Programming Computation

✍ Grigoris Antoniou; Elmar Langetepe 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

On an extension of Gabbay’s logic

✍ A. D. Yashin 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 626 KB

An Epistemic Logic of Extensive Games

✍ Emiliano Lorini; Frédéric Moisan 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 285 KB

An Extension of the Algebra of Logic

✍ Josiah Royce 📂 Article 📅 1913 🏛 Journal of Philosophy, Inc. ⚖ 432 KB