Some Sahlqvist Completeness Results for Coalgebraic Logics.

Fredrik Dahlqvist Dirk Pattinson

Published in: FoSSaCS (2013)

Keyphrases

expressive power
order sorted
modal logic
classical logic
inference rules
databases
data quality
horn logic
database
knowledge representation
special case
information retrieval
decision procedures
proof theory
real world
inheritance reasoning
real time