Arithmetical interpretations of dynamic logic

DOI10.2307/2273463zbMath0546.03012OpenAlexW2006207208MaRDI QIDQ3337454

Petr Hájek

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273463

zbMATH Keywords

Peano arithmeticKripke modelpropositional dynamic logicprovability interpretationarithmetical interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Non-standard algorithmic and dynamic logic ⋮ Independent numerations of theories and recursive progressions ⋮ Reasoning in Dynamic Logic about Program Termination

Cites Work

• Unnamed Item
• Provability interpretations of modal logic
• Algorithm = logic + control
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Arithmetical interpretations of dynamic logic