Synonymous Logics: A Correction.

Francis Jeffry Pelletier Alasdair Urquhart

Published in: J. Philos. Log. (2008)

Keyphrases

expressive power
modal logic
inference rules
data mining
classical logic
nonmonotonic logics
conditional logic
proof theory
propositional dynamic logic
computer vision
three dimensional
error correction
decision procedures
propositional calculus