Branching-time logics and fairness, revisited.
Markus LattePublished in: Math. Struct. Comput. Sci. (2021)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- model checking
- temporal reasoning
- expressive power
- inference rules
- resource allocation
- multi agent systems
- classical logic
- logical framework
- multi faceted
- search algorithm
- case study
- mathematical theory
- nonmonotonic logics
- information retrieval
- proof theory
- computational properties
- formal semantics
- default logic
- optimal solution
- social networks
- artificial intelligence