A Modal Interpretation of the Logic of Interrogation.
Rani NelkenChung-chieh ShanPublished in: J. Log. Lang. Inf. (2006)
Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- classical logic
- inference rules
- propositional variables
- dynamic logic
- modal operators
- semantic interpretation
- image interpretation
- logic programming
- defeasible logic
- computational properties
- genetic algorithm
- propositional logic
- inference process
- set theory
- logic programs
- information systems
- artificial intelligence