Keyphrases
- markov chain
- high performance computing
- classical logic
- modal logic
- sound and complete axiomatization
- cellular automata
- automated reasoning
- computational properties
- digital circuits
- asynchronous circuits
- propositional dynamic logic
- logic programming
- expert systems
- defeasible logic
- set theory
- nonmonotonic logics
- databases