Gödel justification logics and realization.

Nicholas Pischke

Published in: Log. J. IGPL (2022)

Keyphrases

valued logic
expressive power
modal logic
epistemic logic
information systems
inference rules
computational properties
propositional calculus
data sets
proof procedures
proof theory
conditional logic
first order logic
multiscale
decision making
information retrieval
machine learning