Login / Signup

An Essay in Combinatory Dynamic Logic

Solomon PassayTinko Tinchev
Published in: Inf. Comput. (1991)
Keyphrases
  • dynamic logic
  • modal logic
  • reasoning about actions
  • imperative programs
  • classical first order logic
  • agent programming
  • multiple input
  • propositional dynamic logic
  • first order logic