✦ LIBER ✦

Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2

✍ Scribed by V. V. Rybakov; V. V. Rimatskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of the Admissibility Proble

✍ A. V. Kosheleva 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 250 KB

Bases of admissible rules in modal logic

✍ S. V. Babenyshev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 449 KB

Bases of admissible rules of the logics

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 692 KB

An explicit basis for admissible inferen

✍ V. V. Rimatskii 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 302 KB

An explicit basis for the admissible inf

✍ V. V. Rimatskiĭ 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 161 KB

A criterion for admissibility of rules i

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 975 KB