A Two-Level Logic Approach to Reasoning About Computations.

Andrew Gacek Dale Miller Gopalan Nadathur

Published in: J. Autom. Reason. (2012)

Keyphrases

formal theory
modal operators
logic programming
qualitative reasoning
causal reasoning
data sets
multi valued
predicate logic
complete axiomatization
formal language
database systems
multi agent
classical logic
computational properties
deductive reasoning