First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas.
Horacio L. Arló-CostaPublished in: Stud Logica (2002)
Keyphrases
- modal logic
- conditional logic
- temporal logic
- decision procedures
- default logic
- inference rules
- expert systems
- dynamic logic
- default reasoning
- higher order
- first order logic
- data integration
- knowledge based systems
- classical logic
- default theories
- domain knowledge
- relational databases
- natural language
- general logic programs