𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Path calculus in the modal logic S4

✍ Scribed by S. Norgėla


Publisher
Springer
Year
2005
Tongue
English
Weight
85 KB
Volume
45
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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