One Useful Logic That Defines Its Own Truth.

Andreas Blass Yuri Gurevich

Published in: MFCS (2008)

Keyphrases

dynamic logic
modal logic
first order logic
truth values
data sets
machine learning
evolutionary algorithm
classical logic
real time
neural network
learning algorithm
image sequences
multi agent
asynchronous circuits
linear logic