2-Sequent Calculus: A Proof Theory of Modalities

[1]  C. Lewis.  IV.—IMPLICATION AND THE ALGEBRA OF LOGIC , 1912 .

[2]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[3]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[4]  W. B. Ewald,et al.  Intuitionistic tense and modal logic , 1986, Journal of Symbolic Logic.

[5]  J. Girard,et al.  Proofs and types , 1989 .

[6]  Duminda Wijesekera,et al.  Constructive Modal Logics I , 1990, Ann. Pure Appl. Log..