✦ LIBER ✦

Two decidable classes of formulas of the modal logic S5

✍ Scribed by S. Norgėla

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Depth and polynomial equivalence of form

✍ A. B. Ugol'nikov 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 414 KB

The decidability of admissibility proble

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

A decidable noncompact extension of the

✍ V. V. Rybakov 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 502 KB

An application of Rieger-Nishimura formu

✍ Dimiter Vakarelov 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 409 KB

The diagrams of formulas of the modal pr

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

Microcomputer translator for medical tex

✍ G.William Moore; Robert E. Miller; Grover M. Hutchins 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 981 KB