Logic of temporal attribute implications


We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in time. We introduce semantic entailment of the formulas, show its fixed-point characterization, investigate closure properties of model classes, present an axiomatization and prove its completeness, and… (More)
DOI: 10.1007/s10472-016-9526-6

1 Figure or Table


  • Presentations referencing similar topics