Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth.

Published in: Stud Logica (2018)

Keyphrases

modal logic
decision procedures
inference rules
information theory
learning algorithm
model checking
theoretical basis
neural network
artificial intelligence
training data
multi document summarization