Login / Signup

A Dynamic Logic for Program Verification.

Maritta HeiselWolfgang ReifWerner Stephan
Published in: Logic at Botik (1989)
Keyphrases
  • dynamic logic
  • modal logic
  • reasoning about actions
  • imperative programs
  • agent programming
  • propositional dynamic logic
  • modal operators
  • multiple input
  • classical first order logic
  • machine learning