Login / Signup

Cryogenic Dynamic Logic.

Nurzhan ZhuldassovEby G. Friedman
Published in: ISCAS (2020)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • modal logic
  • imperative programs
  • agent programming
  • classical first order logic
  • propositional dynamic logic
  • multi agent
  • expert systems
  • software engineering
  • first order logic