✦ LIBER ✦

Invariant Logics

✍ Scribed by Marcus Kracht

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logical Operations and Invariance

✍ Enrique Casanovas 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 401 KB

Lower bounds for invariant queries in lo

✍ Leonid Libkin; Limsoon Wong 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Method of invariant transformations and

✍ A. B. Nikolenko 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 579 KB

The logical foundations of invariance pr

✍ E. Fabri 📂 Article 📅 1959 🏛 Società Italiana di Fisica ⚖ 780 KB

PEASANT LOGICS AND DEVELOPMENT PROJECT L

✍ JEAN-PIERRE OLIVIER de SARDAN 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 607 KB

Modal logics, description logics and ari

✍ Hans Jürgen Ohlbach; Jana Koehler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 250 KB