Extensional Logic of Hyperintensions.

Published in: Conceptual Modelling and Its Theoretical Foundations (2012)

Keyphrases

logic programming
computational properties
predicate logic
formal theory
abductive reasoning
databases
probabilistic logic
partial order
automated reasoning
multi valued
epistemic logic
deontic logic
logic synthesis