First-order Logics of Evidence and Truth with Constant and Variable Domains.

Abilio Rodrigues Henrique Antunes

Published in: Logica Universalis (2022)

Keyphrases

machine learning
valued logic
truth values
conditional logic
expressive power
modal logic
inference rules
real world
propositional logic
classical logic
first order logic
higher order
decision trees
multi valued
empirical evidence
classical first order logic
belief functions
continuous domains
evidential reasoning