Finitary Logics for Some CCS Observational Bisimulations.
Miranda MowbrayPublished in: Inf. Process. Lett. (1992)
Keyphrases
- expressive power
- finite state
- modal logic
- inference rules
- propositional calculus
- epistemic logic
- classical logic
- propositional dynamic logic
- real time
- causal inference
- default logic
- search engine
- belief revision
- computational properties
- nonmonotonic logics
- fuzzy logic
- observational data
- reinforcement learning
- proof theory
- information retrieval