Erratum to: ``Strong completeness and limited canonicity for PDL

DOI10.1007/s10849-009-9083-zzbMath1169.03350OpenAlexW4229812234MaRDI QIDQ1016034

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

Publication date: 4 May 2009

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

Full work available at URL: https://doi.org/10.1007/s10849-009-9083-z

zbMATH Keywords

Canonical modelModel disharmonyPropositional dynamic logicStrong completeness

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong completeness and limited canonicity for PDL
• Axiomatising the logic of computer programming
• A model existence theorem in infinitary propositional modal logic

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