Login / Signup

Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.

Philippe BalbianiEmiliano Lorini
Published in: WoLLIC (2013)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • temporal logic
  • model checking
  • computation tree logic
  • website
  • real time
  • neural network
  • real world