Login / Signup

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

Björn LellmannElaine Pimentel
Published in: ACM Trans. Comput. Log. (2019)
Keyphrases
  • maximum entropy