✦ LIBER ✦

Proof Analysis in Modal Logic

✍ Scribed by Sara Negri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof Theory for Modal Logic

✍ Sara Negri 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

A modal logic internalizing normal proof

✍ Sungwoo Park; Hyeonseung Im 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Proof analysis in intermediate logics

✍ Roy Dyckhoff; Sara Negri 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 242 KB

A Companion to Philosophical Logic || Pr

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 146 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

On the Proof Theory of the Modal Logic G

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

Another proof for the decidability of fo

✍ Brian F. Chellas 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 507 KB