Strong Completeness and Limited Canonicity for PDL

Authors:
Gerard Renardel De Lavalette;Barteld Kooi;Rineke Verbrugge
Affiliations:
Department of Computing Science, University of Groningen, Groningen, The Netherlands 9700 AK;Faculty of Philosophy, University of Groningen, Groningen, The Netherlands;Department of Artificial Intelligence, University of Groningen, Groningen, The Netherlands
Venue:
Journal of Logic, Language and Information
Year:
2009

Citing 4
Cited 0

Logics of time and computation

Logics of time and computation
Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming
PAL - Propositional Algorithmic Logic

Logic of Programs, Workshop
Strong Completeness and Limited Canonicity for PDL

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract