First-order classical modal logic: applications in logics of knowledge and probability.
Horacio L. Arló-CostaEric PacuitPublished in: TARK (2005)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- inference rules
- decision procedures
- modal operators
- classical logic
- epistemic logic
- dynamic logic
- classical first order logic
- nonmonotonic logics
- default logic
- probability theory
- knowledge acquisition
- situation calculus
- valued logic
- prime implicates
- coalition logic
- description logic alc
- autoepistemic logic
- first order logic
- sequent calculus
- general logic programs
- knowledge representation
- probability distribution
- knowledge base