Note on a strong liberated modal logic and its relevance to possible world skepticism.
Charles G. MorganPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- default logic
- information retrieval
- situation calculus
- epistemic logic
- nonmonotonic logics
- model checking
- dynamic logic
- description logic alc
- explanation based generalization
- prime implicates
- conditional logic
- ranked list
- test collection
- relevance feedback