Logics of Truth.

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

Keyphrases

truth values
valued logic
expressive power
modal logic
inference rules
classical logic
conditional logic
database
expert systems
fuzzy logic
proof theory
machine learning
query language
epistemic logic
propositional calculus
propositional dynamic logic