A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.
Ross T. BradyPublished in: Stud Logica (1989)
Keyphrases
- propositional dynamic logic
- proof theory
- conditional logic
- nonmonotonic logics
- epistemic logic
- formal semantics
- machine learning
- logic programming
- computational properties
- valued logic
- valued semantics
- modal logic
- higher order logic
- computer vision
- default reasoning
- modal operators
- nonmonotonic reasoning
- expressive power
- proof theoretic
- reasoning about actions
- autoepistemic logic
- belief revision
- model checking
- semantic information
- knowledge representation formalisms
- classical logic
- intuitionistic logic
- kripke models
- database
- theorem prover
- temporal logic
- neural network
- data sets