Login / Signup
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.
Philippe Balbiani
Emiliano 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