๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Extensions of the provability logic
โœ A. Yu. Muravitskii ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 494 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