✦ LIBER ✦

Alternative Translation Techniques for Propositional and First-Order Modal Logics

✍ Scribed by Angelo Montanari; Alberto Policriti; Matteo Slanina

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of two systems of illative

✍ Wil Dekkers; Martin Bunder; Henk Barendregt 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

On decidability and model checking for a

✍ Rui Xue; Huimin Lin 📂 Article 📅 2003 🏛 Science in China Press (SCP) 🌐 English ⚖ 255 KB