Completeness-via-canonicity for coalgebraic logics.

Fredrik Dahlqvist

Published in: CoRR (2015)

Keyphrases

modal logic
expressive power
order sorted
data quality
propositional calculus
real world
hidden markov models
query language
inference rules
databases
objective function
classical logic
proof theoretic
formal proofs