✦ LIBER ✦

Noncompact extensions of the logicS4

✍ Scribed by V. V. Rybakov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A decidable noncompact extension of the

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

On the lattice of extensions of the moda

✍ Fabio Bellissima 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 353 KB

Extensions of the provability logic

✍ A. Yu. Muravitskii 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 494 KB

Hereditarily finitely axiomatizable exte

✍ V. V. Rybakov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 775 KB

Canonical extensions for congruential lo

✍ Mai Gehrke; Ramon Jansana; Alessandra Palmigiano 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 512 KB

The logical representation of extensive

✍ Giacomo Bonanno 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 English ⚖ 837 KB