Login / Signup

Propositional Dynamic Logic for Hyperproperties.

Jens Oliver GutsfeldMarkus Müller-OlmChristoph Ohrem
Published in: CONCUR (2020)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • modal logic