Informasi yang berkaitan dengan pt/Propositional dynamic logic