Login / Signup

Taut Monads, Dynamic Logic and Determinism.

Ernie Manes
Published in: MFPS (2007)
Keyphrases
  • dynamic logic
  • modal logic
  • reasoning about actions
  • imperative programs
  • agent programming
  • first order logic
  • multiple input
  • classical first order logic
  • propositional dynamic logic