The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.

Published in: CoRR (2016)

Keyphrases

modal logic
machine learning
three dimensional
genetic algorithm
decision trees
case study
similarity measure
data structure
knowledge representation
nonmonotonic logics