Semantics of Separation-Logic Typing and Higher-Order Frame Rules.
Lars BirkedalNoah Torp-SmithHongseok YangPublished in: LICS (2005)
Keyphrases
- higher order
- higher order logic
- derivation rules
- logical rules
- rule engine
- active rules
- logic programming
- proof theoretic
- proof theory
- declarative semantics
- intuitionistic logic
- pairwise
- sound and complete axiomatization
- transformation rules
- propositional dynamic logic
- sound and complete with respect
- highly expressive
- nonmonotonic logics
- epistemic logic
- high order
- lambda calculus
- deduction rules
- classical logic
- active databases
- logical framework
- logical formulas
- association rules
- conditional logic
- model theoretic
- operational semantics
- linear logic
- default rules
- dynamic logic
- deductive databases
- default reasoning
- production rules
- business rules
- predicate calculus
- fixed point semantics
- markov random field
- logic programs
- modal logic
- rule base
- formal semantics
- horn clauses
- modal operators
- formal language
- cut elimination
- theorem prover
- computational properties
- first order logic
- defeasible logic
- alternating time temporal logic