Incomplete translations of complete logics.

Stewart Shapiro

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

modal logic
expressive power
genetic algorithm
database
data sets
search engine
missing values
noisy data
temporal logic
classical logic