Login / Signup
On intermediate justification logics.
Nicholas Pischke
Published in:
Log. J. IGPL (2023)
Keyphrases
</>
expressive power
propositional calculus
inference rules
real world
machine learning
high level
data structure
expert systems
probabilistic model
modal logic
classical logic
computational properties
intermediate level
intuitionistic logic
reason maintenance