Two Incomplete Anti-Realist Modal Epistemic Logics.
Timothy WilliamsonPublished in: J. Symb. Log. (1990)
Keyphrases
- modal logic
- epistemic logic
- modal operators
- kripke models
- nonmonotonic logics
- temporal logic
- dynamic epistemic logic
- decision procedures
- inference rules
- computation tree logic
- propositional dynamic logic
- classical logic
- situation calculus
- dynamic logic
- model checking
- missing data
- conditional logic
- database
- uncertain information
- expressive power
- neural network
- partially ordered
- incomplete data
- missing values
- security protection
- default logic
- inconsistent knowledge
- knowledge base