✦ LIBER ✦

Modal extension of logic programming systems

✍ Scribed by A. V. Pozharskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Frege systems for extensible modal logic

✍ Emil Jeřábek 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Modal logics with no minimal proper exte

✍ George F. Schumm 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 132 KB

An extension of the Łukasiewicz logic to

✍ Herman Dishkant 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 342 KB

Deep sequent systems for modal logic

✍ Kai Brünnler 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 644 KB

Extensions of Makinson's Completeness Th

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

An incomplete system of modal logic

✍ George Boolos; Giovanni Sambin 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 348 KB