Coalgebra and Logic: A Brief Overview.

Alexander Kurz Alessandra Palmigiano Yde Venema

Published in: J. Log. Comput. (2010)

Keyphrases

modal logic
logic programming
probabilistic logic
multi valued
classical logic
data structure
abductive reasoning
dynamic logic
database
data model
probability theory
computational properties
set theory
proof theory