✦ LIBER ✦

Embeddings of classical logic in S4

✍ Scribed by J. Czermak

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embeddings of classical logic in S4 part

✍ Johannes Czermak 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 637 KB

Embedding Classical Logic in Intuitionis

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Path calculus in the modal logic S4

✍ S. Norgėla 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 85 KB

Hereditarily finitely axiomatizable exte

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

A decidable noncompact extension of the

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

Elementary embeddings and games in adapt

✍ Sergio Fajardo 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 624 KB