R-Generability, and Definability in Branching Time Logics.
Mads DamPublished in: Inf. Process. Lett. (1992)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- model checking
- expressive power
- fixed point
- propositional logic
- inference rules
- multi agent systems
- temporal reasoning
- databases
- mathematical theory
- multi faceted
- horn logic
- logical framework
- conditional logic
- database
- qualitative and quantitative
- first order logic
- nonmonotonic logics
- learning algorithm
- decision procedures
- propositional dynamic logic
- coalition logic