A New Modal Approach to the Logic of Intervals.

Published in: J. Log. Comput. (2007)

Keyphrases

modal logic
nonmonotonic logics
logic programming
epistemic logic
temporal logic
inference rules
multi valued
classical logic
modal operators
data sets
formal theory
automated reasoning
propositional variables
interval data
predicate logic
endpoints
logic programs
association rules
case study