✦ LIBER ✦

Intuitionistic Modal Logic and Applications (IMLA 2008)

✍ Scribed by Valeria de Paiva; Brigitte Pientka

Book ID: 113642011
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 76 KB
Volume: 209
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2011.10.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intuitionistic Modal Logic and Set Theor

Intuitionistic Modal Logic and Set Theory

✍ K. Lano 📂 Article 📅 1991 🏛 Association for Symbolic Logic 🌐 English ⚖ 386 KB

An application of Rieger-Nishimura formu

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

✍ Dimiter Vakarelov 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 409 KB

Irreflexive Modality in the Intuitionist

Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

✍ A. D. Yashin 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 143 KB

Uniform provability realization of intui

Uniform provability realization of intuitionistic logic, modality and λ-terms

✍ Sergei N. Artemov 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 510 KB

Modal Logic and the Logic of Applicabili

Modal Logic and the Logic of Applicability

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

Systems of Transfinite Type Theory Based

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those