Arithmetical interpretations of dynamic logic

DOI10.2307/2273463MaRDI QIDQ3337454zbMATH OpenOpenAlexFDO

Authors 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

arithmetical interpretationKripke modelPeano arithmeticpropositional dynamic logicprovability interpretation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3968566
• On the complexity of arithmetical interpretations of modal formulae
• Dynamic process logic
• scientific article; zbMATH DE number 4197983
• scientific article; zbMATH DE number 1215477

Cites work

• Algorithm = logic + control
• scientific article; zbMATH DE number 3632437 (Why is no real title available?)
• Provability interpretations of modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(9)

• Non-standard algorithmic and dynamic logic
• Arithmetic based on the Church numerals in illative combinatory logic
• An arithmetical hierarchy in propositional dynamic logic
• Independent numerations of theories and recursive progressions
• scientific article; zbMATH DE number 3968566 (Why is no real title available?)
• Arithmetic Formulated in a Logic of Meaning Containment
• Reasoning in Dynamic Logic about Program Termination
• Dynamic extensions of arrow logic
• On the interpretability of arithmetic in temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3337454)