Fitch-Style Modal Lambda Calculi.

Ranald Clouston

Published in: CoRR (2017)

Keyphrases

modal logic
fixed point
sequent calculi
real time
computer vision
learning algorithm
artificial intelligence
e learning