General Topos Semantics for Higher-Order Modal Logic.
Steve AwodeyKohei KishidaHans-Christoph KotzschPublished in: TACL (2013)
Keyphrases
- modal logic
- higher order
- epistemic logic
- nonmonotonic logics
- conditional logic
- temporal logic
- dynamic logic
- autoepistemic logic
- kripke models
- modal operators
- decision procedures
- special case
- classical logic
- inference rules
- logic programming
- explanation based generalization
- description logic alc
- default logic
- relational databases
- prime implicates
- multi agent systems
- knowledge base
- database design
- pairwise