Kripke-Style Models for Logics of Evidence and Truth.

Henrique Antunes Walter Carnielli Andreas Kapsner Abilio Rodrigues

Published in: Axioms (2020)

Keyphrases

modal logic
classification models
classical logic
inference rules
desirable properties
prior knowledge
probabilistic model
complex systems
experimental data
empirical data
mathematical models
empirical evidence
model checking
real time
artificial neural networks
case study
decision trees
feature selection
databases