Coalgebraic Logic.

Lawrence S. Moss

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

modal logic
logic programming
multi valued
defeasible logic
proof theory
logical framework
computational properties
sound and complete axiomatization
databases
logic synthesis
epistemic logic
digital circuits
classical logic
search algorithm
information systems
learning algorithm
machine learning
neural network