An Admissible Semantics for Propositionally Quantified Relevant Logics.
Robert GoldblattMichael KanePublished in: J. Philos. Log. (2010)
Keyphrases
- propositional dynamic logic
- proof theory
- nonmonotonic logics
- epistemic logic
- conditional logic
- valued semantics
- neural network
- proof theoretic
- default reasoning
- modal logic
- state space
- expressive power
- proof procedures
- data sets
- default logic
- inference rules
- conceptual graphs
- formal semantics
- autoepistemic logic
- dynamic logic
- logic programming
- higher order logic
- high level