Decidability Issues for Two-Variable Logics with Several Linear Orders.

Emanuel Kieronski

Published in: CSL (2011)

Keyphrases

description logics
decision procedures
computational properties
databases
key issues
query answering
classical logic
linear functions
real time
logic programming
inference rules