✦ LIBER ✦

On the interpolation property of some intuitionistic modal logics

✍ Scribed by C. Luppi

Book ID: 120105729
Publisher: Springer
Year: 1996
Tongue: English
Weight: 251 KB
Volume: 35
Category: Article
ISSN: 0933-5846
DOI: 10.1007/BF01268617

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Beth properties of some intuition

On the Beth properties of some intuitionistic modal logics

✍ C. Luppi 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 119 KB

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

Interpolation property for extensions of

Interpolation property for extensions of intuitionistic proof logic

✍ I. G. Simonova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 573 KB

Problem of restricted interpolation in s

Problem of restricted interpolation in superintuitionistic and some modal logics

✍ Maksimova, L. 📂 Article 📅 2009 🏛 Oxford University Press 🌐 English ⚖ 174 KB

On the succinctness of some modal logics

✍ French, Tim; van der Hoek, Wiebe; Iliev, Petar; Kooi, Barteld 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 757 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