Funder
Ministero dell’Istruzione, dell’Università e della Ricerca
Publisher
Springer Science and Business Media LLC
Reference87 articles.
1. Artemov, S., Modal logic in mathematics, in in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, Elsevier B. V., Amsterdam, 2007, pp. 927–969.
2. Barwise, J., and S. Feferman, (eds.), Model-Theoretic Logics, Perspectives in Mathematical Logic, Springer-Verlag, New York, 1985.
3. van Benthem, J., and G. Bezhanishvili, Modal logics of space, in M. Aiello, I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook of Spatial Logics, Springer, Dordrecht, 2007, pp. 217–298.
4. Bergman, C., Universal Algebra. Fundamentals and Selected Topics, Pure and Applied Mathematics (Boca Raton), vol. 301, CRC Press, Boca Raton, FL, 2012.
5. Bezhanishvili, G., N. Bezhanishvili, and R. Iemhoff, Stable canonical rules, The Journal of Symbolic Logic 81:284–315, 2016.