✦ LIBER ✦

On the complexity of arithmetical interpretations of modal formulae

✍ Scribed by Lev D. Beklemishev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactical results on the arithmetical

✍ Paolo Gentilini 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 801 KB

On arithmetical complexity of fragments

✍ Petr Hájek 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 133 KB

Interpretation of factor analysis on mod

✍ Size, William B. 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 251 KB

Uniformity of modal representation on en

✍ K. N. Ignat'ev 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 504 KB

The Problem of Interpreting Modal Logic

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 245 KB

The complexity of model checking for cir

✍ Marco Cadoli 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 556 KB