✦ LIBER ✦

The diagrams of formulas of the modal propositional S4*calculus

✍ Scribed by Anita Wasilewska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of the modal proposition

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

The diagrams of formulas of the intuitio

✍ Anita Wasilewska 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 222 KB

Undefinability of propositional quantifi

✍ Silvio Ghilardi; Marek Zawadowski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 773 KB

A Formalisation of the Propositional Cal

✍ Alan Rose 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 646 KB

The Functional Completeness of Post's m-

✍ Sally Barton 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

An extension of the intuitionsitic propo

✍ Kenneth A. Bowen 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 337 KB