Tableaux for Dynamic Logic of Propositional Assignments.

Tiago de Lima Andreas Herzig

Published in: CoRR (2014)

Keyphrases

dynamic logic
classical first order logic
modal logic
reasoning about actions
agent programming
imperative programs
first order logic
propositional dynamic logic
temporal logic
multiple input
default logic
nonmonotonic logics