Login / Signup

Pure Sequent Calculi: Analyticity and Decision Procedure.

Ori LahavYoni Zohar
Published in: ACM Trans. Comput. Log. (2019)
Keyphrases
  • sequent calculi
  • decision making
  • probabilistic model
  • modal logic