A Logic of Justification and Truthmaking.

Alessandro Giordani

Published in: Rev. Symb. Log. (2013)

Keyphrases

logic programming
classical logic
modal logic
multi valued
defeasible logic
sound and complete axiomatization
computational properties
deontic logic
neural network
bayesian networks
description logics
probabilistic logic
nonmonotonic logics
predicate logic
proof theory
deductive reasoning