Parallel dynamic logic (PDL) with speed-enhanced skewed static (SSS) logic.

Chulwoo Kim Seong-Ook Jung Kwang-Hyun Baek Sung-Mo Kang

Published in: ISCAS (2000)

Keyphrases

dynamic logic
propositional dynamic logic
modal logic
reasoning about actions
classical first order logic
parallel implementations
parallel processing
agent programming
modal operators
imperative programs
data distribution
real time
high speed
multi agent
temporal logic
inference rules