Quantification over Sets of Possible Worlds in Branching-Time Semantics.

Alberto Zanardo

Published in: Stud Logica (2006)

Keyphrases

epistemic logic
logic programming
model checking
formal semantics
artificial intelligence
relational databases
temporal logic
databases
information systems
knowledge base
web services
modal logic
conceptual graphs