On Interval Dynamic Logic.

Regivan H. N. Santiago Benjamín R. C. Bedregal Alexandre Madeira Manuel A. Martins

Published in: SBMF (2016)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
real time
agent programming
classical first order logic
interval data
multiple input
interval analysis
artificial intelligence
knowledge base
rule base