The decidability of a fragment of BB'IW-logic.

Sabine Broda Luís Damas Marcelo Finger Paulo Silva e Silva

Published in: Theor. Comput. Sci. (2004)

Keyphrases

automata theoretic
temporal logic
modal logic
regular path queries
computational properties
description logics
logic programming
multi valued
machine learning
model checking
classical logic
decision procedures
digital circuits
data sets
information systems
query processing