✦ 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
DOI: 10.1007/s10986-005-0010-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of the modal proposition

A formalization of the modal propositional S4 calculus

✍ Anita Wasilewska 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 535 KB

The diagrams of formulas of the modal pr

The diagrams of formulas of the modal propositional S4*calculus

✍ Anita Wasilewska 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

The Situation Calculus: A Case for Modal

The Situation Calculus: A Case for Modal Logic

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

A Łukasiewicz-style refutation system fo

A Łukasiewicz-style refutation system for the modal logic S4

✍ Tomasz Skura 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 359 KB

A stipulation of logical truth in a moda

A stipulation of logical truth in a modal propositional calculus

✍ Charles E. Caton 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 204 KB

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