✦ LIBER ✦

A Deep Inference System for the Modal Logic S5

✍ Scribed by Phiniki Stouppa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut Elimination inside a Deep Inference

✍ Kai Brünnler 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

A Łukasiewicz-style refutation system fo

✍ Tomasz Skura 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 359 KB

A ‘Natural Logic’ inference system using

✍ Anna Zamansky; Nissim Francez; Yoad Winter 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 725 KB

The Situation Calculus: A Case for Modal

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

A Loop-Free Decision Procedure for Modal

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 899 KB

Determining the environment: a modal log

✍ Jan Broersen; Rosja Mastop; John-Jules Meyer; Paolo Turrini 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 228 KB