Elementary Multimodal Logics.

Jakub Michaliszyn

Published in: CoRR (2018)

Keyphrases

expressive power
set theory
multimodal interaction
modal logic
multi modal
classical logic
propositional calculus
multimedia
database
audio visual
intuitionistic logic
conditional logic
nonmonotonic logics
computational properties
default logic
database systems
search engine
data sets