Charles S. Chihara, "The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic".
Daniel NolanPublished in: Stud Logica (2004)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- modal operators
- dynamic logic
- decision procedures
- temporal logic
- description logic alc
- autoepistemic logic
- inference rules
- situation calculus
- default logic
- model theoretic
- classical logic
- computer graphics
- explanation based generalization
- virtual reality
- model checking
- logic programming
- relational databases
- formal semantics
- normal form
- prime implicates
- sequent calculus
- data model