✦ LIBER ✦

A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic

✍ Scribed by H. Kushida and M. Okada

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof–theoretic study of the correspon

✍ H. Kushida; M. Okada 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 324 KB

On some proof theoretical properties of

✍ Marco Borga 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

A proof-theoretic investigation of a log

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 560 KB

Modal Logic and the Logic of Applicabili

✍ A. N. PRIOR 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 870 KB

A modal provability logic of explicit an

✍ Evan Goris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 830 KB

On the Proof Theory of the Modal Logic G

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