𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Modal Logics between K × K × K and$S5 \times S5 \times S5$

✍ Scribed by R. Hirsch, I. Hodkinson and A. Kurucz

Book ID
124191400
Publisher
Association for Symbolic Logic
Year
2002
Tongue
English
Weight
329 KB
Volume
67
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decomposition ofKvintoK2×K5’s
The decomposition ofKvintoK2×K5’s
✍ Yang Li; Jian-xing Yin; Ru-cong Zhang; Gen-nian Ge 📂 Article 📅 2007 🏛 SP Science China Press 🌐 English ⚖ 186 KB
Modal Logics Between S 4 and S 5
Modal Logics Between S 4 and S 5
✍ M. A. E. Dummett; E. J. Lemmon 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 970 KB

## I I n [loll) MCKIYSEY and TAXSKI define a translation T from wffs of propositional calculus into wffs of modal logic, and prove (Thm. 5.1) that F I c n iff Fs4 T (a), where 1C is the intuitionist calculus. We wish to investigate the relation between any system PA of propositional calculus forme