Topological Aspects of Branching-Time Semantics.

Michela Sabbadin Alberto Zanardo

Published in: Stud Logica (2003)

Keyphrases

epistemic logic
semantic aspects
formal semantics
model checking
temporal reasoning
temporal logic
logical language
dynamic aspects
modal logic
semantic representation
computational models
reasoning tasks
information retrieval
integrity constraints
semantic information
logic programming
domain knowledge