Algebraic Semantics for Dynamic Dynamic Logic

摘要

Dynamic dynamic logic (DDL) is a generalisation of propositional dynamic logic PDL and dynamic epistemic logic. In this paper, we develop algebraic semantics for DDL without the constant program. We introduce inductive and continuous modal Kleene algebras for PDL and show the validity of reduction axioms in algebraic models and hence the algebraic completeness of DDL.