Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics.

Published in: CoRR (2022)

Keyphrases

sequent calculi
three dimensional
description logics
multi dimensional
expressive power
modal logic
data sets
inference rules
database
knowledge base
packing problem
computational properties