A Note on Strong Axiomatization of Gödel Justification Logic.

Nicholas Pischke

Published in: Stud Logica (2020)

Keyphrases

logic programming
situation calculus
multi valued
automated reasoning
classical logic
machine learning
complete axiomatization
neural network
decision making
high level
multi agent
general theory
asynchronous circuits
valued logic