Modalities in the Stone age: A comparison of coalgebraic logics.

Alexander Kurz Raul Andres Leal

Published in: Theor. Comput. Sci. (2012)

Keyphrases

database
neural network
expressive power
modal logic
image processing
social networks
statistical analysis