Login / Signup

Dynamic Logic with Trace Semantics.

Bernhard BeckertDaniel Bruns
Published in: CADE (2013)
Keyphrases
  • dynamic logic
  • propositional dynamic logic
  • modal logic
  • reasoning about actions
  • agent programming
  • classical first order logic
  • query language
  • fuzzy logic
  • inference rules
  • modal operators
  • imperative programs