The Effects of Modalities in Separation Logics (Extended Abstract).

Stéphane Demri Morgan Deters

Published in: Advances in Modal Logic (2014)

Keyphrases

extended abstract
modal logic
expressive power
negative effects
artificial intelligence
database
machine learning
case study
data structure
multi modal
inference rules