On the Complexity of Modal Separation Logics.

Stéphane Demri Raul Fervari

Published in: Advances in Modal Logic (2018)

Keyphrases

modal logic
nonmonotonic logics
space complexity
computational complexity
database
databases
expressive power
data sets
real world
information retrieval
artificial neural networks
hidden markov models