Monadic Second-Order Logics with Cardinalities.

Felix Klaedtke Harald Rueß

Published in: ICALP (2003)

Keyphrases

valued logic
expressive power
higher order
deductive databases
datalog queries
modal logic

datalog programs
fuzzy logic
high order
propositional dynamic logic
classical logic

inference rules
real time
propositional logic
transitive closure
first order logic

special case
epistemic logic
hessian matrix
information systems
database