Parallel Action: Concurrent Dynamic Logic with Independent Modalities.

Robert Goldblatt

Published in: Stud Logica (1992)

Keyphrases

dynamic logic
reasoning about actions
concurrent actions
situation calculus
action language
modal logic
multiple independent
parallel processing
imperative programs
indirect effects
logic programming
modal operators
agent programming
propositional dynamic logic
shared memory
artificial intelligence