Neighborhood-Sheaf Semantics for First-Order Modal Logic.
Kohei KishidaPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- modal logic
- conditional logic
- nonmonotonic logics
- decision procedures
- epistemic logic
- model theoretic
- temporal logic
- inference rules
- modal operators
- autoepistemic logic
- kripke models
- general logic programs
- nonmonotonic reasoning
- classical logic
- sound and complete with respect
- default reasoning
- dynamic logic
- higher order
- default logic
- first order logic
- description logic alc
- belief revision
- knowledge base
- logic programming
- possibilistic logic
- integrity constraints
- prime implicates