On Logics and Homomorphism Closure.

Manuel Bodirsky Thomas Feller Simon Knäuer Sebastian Rudolph

Published in: LICS (2021)

Keyphrases

expressive power
modal logic
inference rules
closure properties
case study
classical logic
conditional logic
epistemic logic
search algorithm
decision procedures
nonmonotonic logics
propositional dynamic logic