Tableaux for essence and contingency.

Giorgio Venturi Pedro Teixeira Yago

Published in: Log. J. IGPL (2021)

Keyphrases

modal logic
decision procedures
functional dependencies
high dimensional
special case
knowledge base
objective function