PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic.

Facundo Carreiro

Published in: LICS (2015)

Keyphrases

propositional dynamic logic
deontic logic
dynamic logic
automata theoretic
affine transformation
reasoning about actions
predicate logic
multi valued
modal logic
data sets
classical logic
legal reasoning
real time
formal theory
logic programming
natural deduction
proof theory
case study