Modularisation of Sequent Calculi for Normal and Non-normal Modalities.

Björn Lellmann Elaine Pimentel

Published in: CoRR (2017)

Keyphrases

machine learning
object oriented
sufficient conditions