4 citations · 9 across the 9 of their papers we have counts for
1 paper · 1 filter
Ernst-Erich Doberkat
The interpretation of propositional dynamic logic (PDL) through Kripke models requires the relations constituting the interpreting Kripke model to closely observe the syntax of the…