Weak Completeness of Coalgebraic Dynamic Logics.

Helle Hvid Hansen Clemens Kupke

Published in: FICS (2015)

Keyphrases

expressive power
databases
dynamic environments
neural network
data mining
decision making
image processing
evolutionary algorithm
fuzzy logic
modal logic