An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory.
Yoichi HiraiPublished in: LPAR (Dakar) (2010)
Keyphrases
- shared memory
- epistemic logic
- logical framework
- parallel tree search
- modal logic
- parallel algorithm
- model checking
- message passing
- distributed memory
- inference rules
- multi agent systems
- parallel computing
- multi processor
- dynamic epistemic logic
- multi faceted
- theorem prover
- temporal logic
- parallel programming
- mathematical theory
- formal semantics
- general purpose
- fuzzy set theory
- fuzzy numbers
- multi core systems
- shared memory multiprocessors
- model checker
- shared memory multiprocessor
- higher order