✦ LIBER ✦

IF Modal Logic and Classical Negation

✍ Scribed by Tero Tulenheimo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Negation-Free Modal Logics

✍ George F. Schumm; Roy Edelstein 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 521 KB

Hybrid Logic Meets IF Modal Logic

✍ Tero Tulenheimo 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 596 KB

Normal Modal Substructural Logics with S

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 136 KB

Classical negation in logic programs and

✍ Michael Gelfond; Vladimir Lifschitz 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 906 KB

'Classical' Negation in Nonmonotonic Rea

✍ José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 589 KB

First-Order Classical Modal Logic

✍ Horacio Arló-Costa; Eric Pacuit 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 377 KB