CTL with Finitely Bounded Semantics.

Valentin Goranko Antti Kuusisto Raine Rönnholm

Published in: TIME (2017)

Keyphrases

formal semantics
model checking
epistemic logic
temporal logic
logic programming
temporal properties
alternating time temporal logic
computation tree logic
data sets
np complete
semantic information
linear temporal logic
qualitative preferences
finite number
operational semantics