Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.
Alexander BolotovMontserrat HermoPaqui LucioPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- epistemic logic
- temporal logic
- modal logic
- model checking
- automated theorem proving
- tree structure
- proof procedure
- proof search
- description logics
- resource allocation
- automated reasoning
- predicate logic
- binary tree
- tree structures
- set theory
- database
- tree models
- temporal reasoning
- knowledge representation
- proof theory
- multi agent