✦ LIBER ✦

Decision procedures for S3∘ and S4∘

✍ Scribed by Zeman, J. Jay

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On some Alleged Decision Procedures for

✍ William H. Hanson 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 322 KB

New Axiomatizations of S3 and S4

✍ Leo Simons 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 497 KB

Gentzen Decision Procedures for Lewis's

✍ Review by: Richard Routley 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 105 KB

A Loop-Free Decision Procedure for Modal

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 899 KB

Von Wright-Anderson's Decision Procedure

✍ Review by: Richard Routley 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 84 KB

The visible spectrum of S3 and S4

✍ B. Meyer; T. Stroyer-Hansen; T.V. Oommen 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 526 KB