Fibring Logics with Topos Semantics.
Marcelo E. ConiglioAmílcar SernadasCristina SernadasPublished in: J. Log. Comput. (2003)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- propositional dynamic logic
- conditional logic
- proof theory
- kripke models
- modal operators
- temporal logic
- inference rules
- decision procedures
- formal semantics
- valued semantics
- proof theoretic
- autoepistemic logic
- logic programming
- higher order logic
- dynamic logic
- classical logic
- expressive power
- model theoretic
- semantic information
- situation calculus
- default reasoning
- object oriented
- valued logic
- neural network
- proof procedures
- logical framework
- knowledge representation
- multi agent systems