Coequational Logic for Finitary Functors.

Daniel Schwencke

Published in: CMCS (2008)

Keyphrases

finite state
modal logic
logic programming
markov chain
multi valued
proof theory
relational databases
logical framework
classical logic
digital circuits
decision trees
search algorithm
sufficient conditions
markov decision processes
probabilistic logic
deontic logic