Expressibility results for linear-time and branching-time logics.
Edmund M. ClarkeI. A. DraghicescuPublished in: REX Workshop (1988)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- expressive power
- worst case
- model checking
- inference rules
- multi agent systems
- temporal reasoning
- multi faceted
- logical framework
- classical logic
- conditional logic
- nonmonotonic logics
- mathematical theory
- artificial intelligence
- proof theory
- np hard
- image sequences
- information systems
- search engine