On the completeness and the decidability of strictly monadic second-order logic.

Kento Takagi Ryo Kashima

Published in: Math. Log. Q. (2020)

Keyphrases

monadic second order logic
data complexity
query answering
expressive power
description logics
first order logic
tree automata
regular expressions
query language
conjunctive queries
knowledge representation
database
data exchange
np complete
rough sets
data sources
expert systems
knowledge base
data mining
data sets