On Definability in Multimodal Logic.
Joseph Y. HalpernDov SametElla SegevPublished in: Rev. Symb. Log. (2009)
Keyphrases
- finite model theory
- multi modal
- fixed point
- sound and complete axiomatization
- logic programming
- audio visual
- classical logic
- database theory
- modal logic
- asynchronous circuits
- digital circuits
- computational properties
- nonmonotonic logics
- probabilistic logic
- proof theory
- machine learning
- automated reasoning
- propositional logic
- medical images
- learning algorithm