Publisher
Springer Nature Switzerland
Reference32 articles.
1. Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1995)
2. Buszkowski, W.: Interpolation and FEP for logics of residuated algebras. Log. J. IGPL 19(3), 437–454 (2011)
3. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
4. Lecture Notes in Computer Science;J Chen,2019
5. Chen, J., Greco, G., Palmigiano, A., Tzimoulis, A.: Non-normal modal logics and conditional logics: semantic analysis and proof theory. Inf. Comput. 287, 104756 (2022)