A two-level logic approach to reasoning about computations
Andrew GacekDale MillerGopalan NadathurPublished in: CoRR (2009)
Keyphrases
- formal theory
- spatial reasoning
- modal logic
- modal operators
- social networks
- logic programming
- inference rules
- qualitative reasoning
- asynchronous circuits
- logical framework
- predicate logic
- probabilistic knowledge
- multi valued
- complete axiomatization
- dynamic logic
- digital circuits
- databases
- information systems
- neural network