Syntactical results on the arithmetical completeness of modal logic

DOI10.1007/BF01053259zbMath0796.03028OpenAlexW2016517914MaRDI QIDQ1319362

Paolo Gentilini

Publication date: 9 October 1994

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01053259

zbMATH Keywords

modal logicarithmetical completenessPA-completenessarithmetical interpretation of a modal sequentproof-trees

Mathematics Subject Classification ID

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

Cites Work

• On some proof theoretical properties of the modal logic GL
• The modal logic of provability. The sequential approach
• Proof theory. 2nd ed
• Provability interpretations of modal logic
• On the Proof Theory of the Modal Logic Grz

This page was built for publication: Syntactical results on the arithmetical completeness of modal logic