✦ LIBER ✦

Intuitionistic Autoepistemic Logic

✍ Scribed by Giambattista Amati; Luigia Carlucci-Aiello; Fiora Pirri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Autoepistemic logic revisited

✍ Robert C. Moore 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Multi-valued autoepistemic logic

✍ Robert F. Stärk 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 863 KB

Translating Multi-Agent Autoepistemic Lo

✍ Toyama Katsuhiko; Kojima Takahiro; Inagaki Yasuyoshi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 213 KB

On embedding default logic into Moore's

✍ Grigori Schwarz 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 770 KB

Operational Concepts of Nonmonotonic Log

✍ Grigoris Antoniou; Volker Sperschneider 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 91 KB

On the autoepistemic reconstruction of l

✍ Y. J. Jiang 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 1011 KB