Franco Montagna's Work on Provability Logic and Many-valued Logic.

Lev D. Beklemishev Tommaso Flaminio

Published in: Stud Logica (2016)

Keyphrases

modal logic
truth values
logic programming
real time
nonmonotonic logics
defeasible logic
classical logic
automated reasoning
logic programs
multi agent systems
case study
machine learning
data mining
neural network
databases
database
epistemic logic
sound and complete axiomatization