Logics with an existential modality.
Natasha AlechinaDmitry ShkatovPublished in: Advances in Modal Logic (2006)
Keyphrases
- multi modal
- expressive power
- medical images
- modal logic
- query answering
- propositional calculus
- inference rules
- classical logic
- epistemic logic
- neural network
- artificial intelligence
- description logics
- proof theory
- propositional dynamic logic
- intuitionistic logic
- truth values
- conditional logic
- computational properties
- fuzzy sets
- expert systems
- website
- real world