LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description).

Mario Ornaghi Camillo Fiorentini Alberto Momigliano

Published in: ICTCS/CILC (2017)

Keyphrases

high level
user friendly
modal logic
analysis tool
learning algorithm
metadata
learning environment
classical logic