Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53.
Andrea CantiniValentin GorankoPublished in: Stud Logica (2004)
Keyphrases
- modal logic
- theoretical computer science
- inference rules
- artificial intelligence
- temporal logic
- learning theory
- computational learning theory
- epistemic logic
- computer science
- dynamic logic
- nonmonotonic logics
- classical logic
- default logic
- situation calculus
- conditional logic
- autoepistemic logic
- machine learning
- prime implicates
- high resolution
- explanation based generalization
- description logic alc
- mutual information
- knowledge representation