Transition Semantics for Branching Time.

Published in: J. Log. Lang. Inf. (2016)

Keyphrases

epistemic logic
model checking
formal semantics
temporal reasoning
data sets
logic programming
databases
artificial intelligence
database
bayesian networks
website
semantic information
modal logic
machine learning
semantic representation
specification language
logical framework
logical language