×

Found 29 Documents (Results 1–29)

100
MathJax

Valentini’s cut-elimination for provability logic resolved. (English) Zbl 1244.03158

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 67-86 (2008).
MSC:  03F05 03F45
PDF BibTeX XML Cite

On some properties of complete by expressibility systems of formulas in the Göbel-Löb provability logic. (English. Russian original) Zbl 1044.03045

Discrete Math. Appl. 10, No. 6, 553-570 (2000); translation from Diskretn. Mat. 12, No. 4, 63-82 (2000).
MSC:  03F45 03B45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software