Login / Signup

Sequent Calculi for Global Modal Consequence Relations.

Minghui MaJinsheng Chen
Published in: Stud Logica (2019)
Keyphrases
  • sequent calculi
  • modal logic