Login / Signup
Separation logics and modalities: a survey.
Stéphane Demri
Morgan Deters
Published in:
J. Appl. Non Class. Logics (2015)
Keyphrases
</>
expressive power
modal logic
cross modal
propositional dynamic logic
database
real time
data sets
learning algorithm
information systems
website
case study
data structure
multi modal
inference rules
visual data