Simplified semantics for relevant logics (and some of their rivals).
Greg RestallPublished in: J. Philos. Log. (1993)
Keyphrases
- proof theory
- nonmonotonic logics
- conditional logic
- propositional dynamic logic
- epistemic logic
- proof theoretic
- closely related
- decision procedures
- higher level
- expressive power
- formal semantics
- model theoretic
- computational properties
- valued semantics
- proof procedures
- higher order logic
- modal logic
- semantic information
- logic programming
- data sets
- knowledge representation formalisms
- object oriented
- multi agent systems
- multi agent
- neural network