Virtual Evidence: A Constructive Semantics for Classical Logics.
Robert L. ConstablePublished in: CoRR (2014)
Keyphrases
- propositional dynamic logic
- valued logic
- conditional logic
- nonmonotonic logics
- proof theory
- logic programming
- epistemic logic
- virtual environment
- classical first order logic
- expressive power
- valued semantics
- virtual reality
- higher order logic
- empirical evidence
- proof theoretic
- formal semantics
- inference rules
- proof procedures
- classical logic
- virtual world
- propositional logic
- augmented reality
- modal logic
- first order logic
- evidential reasoning
- horn logic
- kripke models
- database
- autoepistemic logic
- model theoretic
- computational properties
- reasoning tasks
- default reasoning
- nonmonotonic reasoning
- default logic
- logic programs
- relational databases
- e learning
- neural network