THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC

DOI10.1002/MALQ.19830290105zbMath0521.03010OpenAlexW2060449176MaRDI QIDQ3671125

Ugo Solitro, Silvio Valentini

Publication date: 1983

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19830290105

zbMATH Keywords

modal logiccompletenesssequent calculusproof theoryPeano arithmeticfinite model propertyKripke framescut-eliminationconsistency assertionextension of GL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (1)

The modal logic of provability. The sequential approach

This page was built for publication: THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC