✦ LIBER ✦

Interpretations of intuitionist logic in non-normal modal logics

✍ Scribed by Colin Oakes

Book ID: 111533761
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 93 KB
Volume: 28
Category: Article
ISSN: 0022-3611
DOI: 10.1023/a:1004324522424

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemic logic, skepticism, and non-nor

Epistemic logic, skepticism, and non-normal modal logic

✍ P. K. Schotch; R. E. Jennings 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 867 KB

Interpreting Intuitionistic Propositiona

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

✍ A.D. Yashin 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 206 KB

The intended interpretation of intuition

The intended interpretation of intuitionistic logic

✍ Scott Weinstein 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 563 KB

Provability interpretations of modal log

Provability interpretations of modal logic

✍ Robert M. Solovay 📂 Article 📅 1976 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 696 KB

Functional interpretations of linear and

Functional interpretations of linear and intuitionistic logic

✍ Paulo Oliva 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 282 KB

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest