Safety for Branching Time Semantics.

Ahmed Bouajjani Jean-Claude Fernandez Susanne Graf Carlos Rodriguez Joseph Sifakis

Published in: ICALP (1991)

Keyphrases

epistemic logic
formal semantics
data sets
logic programming
conceptual model
temporal logic
modal logic
temporal reasoning
logical language
conceptual graphs
model checking
knowledge representation
reasoning tasks
semantic representation
nonmonotonic logics
relational databases
neural network