✦ LIBER ✦

Weak interpolation in extensions of the logicsS4andK4

✍ Scribed by A. V. Karpenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation properties in the extensio

✍ A. V. Karpenko 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 231 KB

Interpolation and Definability in Extens

✍ L. L. Maksimova 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 232 KB

A weak form of interpolation in equation

✍ L. L. Maksimova 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 397 KB

A method of proving interpolation in par

✍ L. L. Maksimova 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 213 KB

A Test to Determine Distinct Modalities

✍ Fabio Bellissima 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB 👁 1 views

Decidability of the weak interpolation p

✍ L. L. Maksimova 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 465 KB