On the Expressive Power of Hybrid Branching-Time Logics.

Daniel Kernberger Martin Lange

Published in: TIME (2018)

Keyphrases

expressive power
first order logic
query language
data complexity
computational properties
transitive closure
relational algebra
temporal logic
model checking
search algorithm
modal logic
epistemic logic
temporal reasoning