Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.
Zhiguo ZhangYunfei JiangPublished in: APPT (2007)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- expressive power
- modal logic
- reasoning about actions
- situation calculus
- imperative programs
- higher order
- parallel processing
- inference rules
- propositional dynamic logic
- parallel implementation
- parallel programming
- agent programming
- shared memory
- parallel computing
- massively parallel
- horn clauses
- propositional logic
- expert systems