Separation Logic with Monadic Inductive Definitions and Implicit Existentials.
Makoto TatsutaDaisuke KimuraPublished in: APLAS (2015)
Keyphrases
- valued logic
- deductive reasoning
- classical logic
- deductive databases
- inductive learning
- fuzzy sets
- semantics of logic programs
- logic programming
- modal logic
- functional programs
- predicate logic
- fixed point semantics
- machine learning
- datalog programs
- multi valued
- truth values
- asynchronous circuits
- monadic second order logic
- recursive programs
- logic programs
- sound and complete axiomatization
- knowledge acquisition
- propositional logic
- datalog queries
- inductive inference
- probability theory
- proof theory
- automated reasoning
- digital circuits
- set theory