✦ LIBER ✦

Undecidable properties of extensions of the logic of provability

✍ Scribed by A. V. Chagrov

Publisher: Springer US
Year: 1990
Tongue: English
Weight: 769 KB
Volume: 29
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01979939

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable properties of extensions of

Undecidable properties of extensions of a provability logic. II

✍ A. V. Chagrov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 533 KB

Extensions of the provability logic

✍ A. Yu. Muravitskii 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 494 KB

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ L. L. Maksimova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 KB

Undecidability of some logical extension

Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus

✍ Wojciech Buszkowski 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 303 KB

Logic of proofs and provability

✍ Tatiana Yavorskaya (Sidon) 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

The modal logic of provability: Cut-elim

The modal logic of provability: Cut-elimination

✍ Silvio Valentini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 216 KB