A translation from the modal logic of provability into K4

DOI10.1080/11663081.1994.10510818zbMath0802.03013OpenAlexW1994476007MaRDI QIDQ4299137

Philippe Balbiani, Andreas Herzig

Publication date: 12 December 1994

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1994.10510818

zbMATH Keywords

translationprovability logicpropositional modal logicKripke-semantics

Mathematics Subject Classification ID

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

Related Items (1)

Deciding regular grammar logics with converse through first-order logic

Cites Work

• Proof methods for modal and intuitionistic logics
• Provability: The emergence of a mathematical modality
• Unnamed Item
• Unnamed Item

This page was built for publication: A translation from the modal logic of provability into K4