✦ LIBER ✦

Embedding and automating conditional logics in classical higher-order logic

✍ Scribed by Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining and automating classical and n

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB

Comparing Higher-Order Encodings in Logi

✍ Roberto Bruni; Furio Honsell; Marina Lenisa; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Arity and alternation: a proper hierarch

✍ Flavio Antonio Ferrarotti; José María Turull Torres 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 605 KB

[Lecture Notes in Computer Science] Logi

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

[Lecture Notes in Computer Science] High

✍ Heering, Jan; Meinke, Karl; Möller, Bernhard; Nipkow, Tobias 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 946 KB

[Lecture Notes in Computer Science] High

✍ Melham, Thomas F.; Camilleri, Juanito 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 702 KB