Login / Signup

Employing Dynamic Logic in Cybersecurity.

Grandon GillBernardo Rodrigues
Published in: J. Inf. Technol. Educ. Discuss. Cases (2017)
Keyphrases
  • dynamic logic
  • reasoning about actions
  • imperative programs
  • agent programming
  • modal logic
  • propositional dynamic logic
  • first order logic
  • multiple input
  • classical first order logic
  • multi dimensional