A relational modal logic for higher-order stateful ADTs.
Derek DreyerGeorg NeisAndreas RossbergLars BirkedalPublished in: POPL (2010)
Keyphrases
- modal logic
- higher order
- data model
- temporal logic
- abstract data types
- inference rules
- relational model
- explanation based generalization
- database systems
- query language
- classical logic
- default logic
- relational databases
- nonmonotonic logics
- database management systems
- situation calculus
- relational algebra
- epistemic logic
- databases
- database design
- data types
- object oriented
- conditional logic
- pairwise
- prime implicates
- database
- conceptual model
- xml documents
- description logic alc
- autoepistemic logic
- dynamic logic
- distributed databases
- machine learning