The Completeness for the Combination of PDL and EL with Perfect Recall and No Miracles

Studies in Logic, Vol. 12, No. 3 (2019): 1–15                      PII: 1674-3202(2019)-03-0001-15

Yanjun Li

Abstract. This paper proves the completeness for the combination of propositional dynamic logic and single-agent epistemic logic in which the modalities interact. The kinds of interactions we consider are two commuting axioms, namely, the axiom of perfect recall and the axiom of no miracles. These two axioms capture the interactions between actions and knowledge.