Login / Signup
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