Login / Signup
Propositional Dynamic Logic for Hyperproperties.
Jens Oliver Gutsfeld
Markus Müller-Olm
Christoph Ohrem
Published in:
CoRR (2019)
Keyphrases
</>
propositional dynamic logic
reasoning about actions
dynamic logic
logic programming
expert systems
situation calculus
programming language
high level