Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Lars BirkedalNoah Torp-SmithHongseok YangPublished in: CoRR (2006)
Keyphrases
- higher order
- highly expressive
- higher order logic
- logical rules
- rule engine
- derivation rules
- lambda calculus
- predicate logic
- database query languages
- active rules
- proof theoretic
- logic programming
- formal language
- proof theory
- programming language
- high order
- transformation rules
- expressive power
- sound and complete axiomatization
- sound and complete with respect
- first order logic
- logical framework
- description logics
- computational properties
- predicate calculus
- declarative semantics
- intuitionistic logic
- default rules
- model theoretic
- pairwise
- conditional logic
- epistemic logic
- domain specific languages
- classical logic
- default reasoning
- specification languages
- defeasible logic
- formal semantics
- production rules
- theorem prover
- belief revision
- markov random field
- rule language
- logical formulas
- operational semantics
- active databases
- deduction rules
- propositional dynamic logic
- rule base
- nonmonotonic logics
- fixed point semantics
- modal operators
- nonmonotonic reasoning
- logic programs
- knowledge representation
- dynamic logic
- owl ontologies
- business rules
- modal logic
- object oriented