1. Avron, A.: A constructive analysis of RM. J. Symb. Log. 52, 939–951 (1987)
2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Hodges, W., et al. (eds.) Logic: From Foundations to Applications, pp. 1–32. Oxford Science Publication, Oxford (1996)
3. Avron, A., Honsell, F., Miculan, M., Paravano, C.: Encoding modal logics in logical frameworks. Stud. Log. 60, 161–202 (1998)
4. Avron, A., Lahav, O.: A simple cut-free system of paraconsistent logic equivalent to S5. In: Bezhanishvili, G., et al. (eds.) Advances in Modal Logic, vol. 12, pp. 29–42. College Publications (2018)
5. Baaz, M., Fermüller, C.G., Zach, R.: Dual systems of sequents and tableaux for many-valued logics. Technical report TUW-E185.2-BFZ, 2–92 (1992)