The Logic of Choice.

Andreas Blass Yuri Gurevich

Published in: J. Symb. Log. (2000)

Keyphrases

logic programming
modal logic
computational properties
multi valued
database
genetic algorithm
artificial intelligence
evolutionary algorithm
classical logic
defeasible logic
asynchronous circuits
propositional dynamic logic