View of Multi-succedent sequent calculus for intuitionistic epistemic logic | Lietuvos matematikos rinkinys

← Return to Article Details Multi-succedent sequent calculus for intuitionistic epistemic logic