Publisher
Springer Nature Switzerland
Reference32 articles.
1. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications: European Logic Colloquium, pp. 1–32. Clarendon Press, USA (1996)
2. Balbiani, P., Demange, V., Galmiche, D.: A sequent calculus with labels for public announcement logic. In: Conference on Advances in Modal Logic (AiML 2014), vol. 10 (2014)
3. Balbiani, P., Galmiche, D.: About intuitionistic public announcement logic. In: 11th Conference on Advances in Modal Logic (AiML 2016), pp. 97–116. College Publications (2016)
4. van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Classical Logics 17(2), 157–182 (2007)
5. Braüner, T.: A cut-free Gentzen formulation of the modal logic S5. Logic J. IGPL 8(5), 629–643 (2000)