Simplified semantics for basic relevant logics.
Graham PriestRichard SylvanPublished in: J. Philos. Log. (1992)
Keyphrases
- conditional logic
- propositional dynamic logic
- proof theory
- epistemic logic
- nonmonotonic logics
- expressive power
- default reasoning
- closely related
- valued semantics
- proof theoretic
- neural network
- modal logic
- inference rules
- formal semantics
- higher order logic
- information retrieval
- kripke models
- reasoning tasks
- logical framework
- database
- high level
- databases