On Logics and Homomorphism Closure.

Manuel Bodirsky Thomas Feller Simon Knäuer Sebastian Rudolph

Published in: CoRR (2021)

Keyphrases

expressive power
modal logic
database
classical logic
propositional dynamic logic
expert systems
query language
conditional logic
strictly convex
inference rules
inheritance reasoning
propositional calculus
closure properties
decision procedures
clustering algorithm
data sets
real time