Extending the WMSO+U Logic With Quantification Over Tuples.

Anita Badyl Pawel Parys

Published in: CoRR (2023)

Keyphrases

database
multi valued
automated reasoning
modal logic
real time
data streams
databases
data sets
classical logic
predicate logic
epistemic logic
deontic logic
asynchronous circuits
sound and complete axiomatization
artificial intelligence
data mining
attribute values
neural network
propositional dynamic logic