Login / Signup

A Dynamic Logic for Every Season.

Alexandre MadeiraRenato NevesManuel A. MartinsLuís Soares Barbosa
Published in: SBMF (2014)
Keyphrases
  • dynamic logic
  • modal logic
  • reasoning about actions
  • imperative programs
  • agent programming
  • multiple input
  • first order logic
  • propositional dynamic logic
  • classical first order logic
  • artificial intelligence