Strong completeness and limited canonicity for PDL

DOI10.1007/S10849-007-9051-4MaRDI QIDQ1006490zbMATH OpenOpenAlexFDO

Authors Rineke Verbrugge, Gerard R. Renardel de Lavalette, Barteld Kooi

Publication date 24 March 2009

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-007-9051-4

zbMATH Keywords

Canonical modelModel disharmonyPropositional dynamic logicStrong completeness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4010497
• scientific article; zbMATH DE number 3869303
• scientific article; zbMATH DE number 218549
• Iteration-free PDL with intersection: A complete axiomatization
• A non-wellfounded, labelled proof system for propositional dynamic logic

Cites work

• A model existence theorem in infinitary propositional modal logic
• A proof of the completeness theorem of Grödel
• An elementary proof of the completeness of PDL
• Axiomatising the logic of computer programming
• Dynamic algebras which are not Kripke structures
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 3765758 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• Hybrid Logics with Infinitary Proof Systems
• On models for propositional dynamic logic

Cited in

(4)

• Erratum to: ``Strong completeness and limited canonicity for PDL
• A modal logic for mixed strategies
• Sequential dynamic logic
• (Heterogeneous) structured specifications in logics without interpolation

This page was built for publication: Strong completeness and limited canonicity for PDL

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