A Type Theory for Defining Logics and Proofs.

Brigitte Pientka David Thibodeau Andreas Abel Francisco Ferreira Rébecca Zucchini

Published in: LICS (2019)

Keyphrases

equational theories
expressive power
neural network
artificial intelligence
computational model
theoretical basis
theorem proving
propositional dynamic logic
propositional calculus
proof theory
nonmonotonic logics
set theory
decision theory
modal logic
multi agent
bayesian networks
information retrieval
real world