Author:
Conradie Willem,Goranko Valentin,Jipsen Peter
Publisher
Springer International Publishing
Reference37 articles.
1. Badia, G.: On Sahlqvist formulas in relevant logic. J. Philos. Log. 47(4), 673–691 (2018)
2. van Benthem, J.: Modal correspondence theory. Ph.D. thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam (1976)
3. van Benthem, J.: A note on dynamic arrow logic. Technical report LP-92-11, ILLC, University of Amsterdam (1992)
4. van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, 2nd edn., pp. 325–408. Springer, Dordrecht (2001). https://doi.org/10.1007/978-94-017-0454-0_4
5. Bimbó, K., Dunn, J.M., Maddux, R.D.: Relevance logics and relation algebras. Rev. Symb. Log. 2(1), 102–131 (2009)