Branching-Time Logics Repeatedly Referring to States.

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

Keyphrases

epistemic logic
modal logic
temporal logic
expressive power
temporal reasoning
model checking
data sets
state transitions
classical logic
inference rules
multi agent systems
multiscale
state transition
case study
databases
conditional logic
partial knowledge
database
proof theory