Definability and automorphisms in abstract logics.

Published in: Arch. Math. Log. (2004)

Keyphrases

expressive power
propositional dynamic logic
high level
modal logic
neural network
fixed point
machine learning
higher level
multi agent
higher order
propositional logic
nonmonotonic logics