Login / Signup

Separation logics and modalities: a survey.

Stéphane DemriMorgan 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