✦ LIBER ✦

The systems of modal calculus of names. I

✍ Scribed by Swietłana Lebiediewa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The systems of modal calculus of names.

✍ Swietłana Lebiediewa 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 747 KB

Proof of decidability of the traditional

✍ Bogusław Iwanuś 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 751 KB

A formalization of the modal proposition

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

On the Proof Theory of the Modal mu-Calc

✍ Thomas Studer 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 366 KB

The diagrams of formulas of the modal pr

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

2-Sequent calculus: a proof theory of mo

✍ Andrea Masini 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1008 KB