𝔖 Bobbio Scriptorium

✦ LIBER ✦

The complexity of predicate default logic over a countable domain

✍ Scribed by Robert Saxon Milnikel

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 135 KB
Volume: 120
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00064-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kripke completeness of some intermediate

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

✍ Tatsuya Shimura 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 976 KB