Some Logics Related to von Wright's Logic of Place.
Ramon JansanaPublished in: Notre Dame J. Formal Log. (1994)
Keyphrases
- modal logic
- classical logic
- proof theory
- inference rules
- nonmonotonic logics
- propositional dynamic logic
- propositional calculus
- proof procedures
- artificial intelligence
- higher order logic
- epistemic logic
- logical framework
- logic programming
- predicate logic
- model checking
- proof theoretic
- closely related
- neural network
- sequent calculi