Concepedia

Publication | Closed Access

2-Sequent calculus: a proof theory of modalities

DOI

55

Citations

3

References

1992

Year

Andrea Masini
Annals of Pure and Applied Logic

References

YearCitations

Page 1