Pedro Falcão. Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic. In Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana, editors, Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings. Volume 13462 of Lecture Notes in Computer Science, pages 296-311, Springer, 2022. [doi]
Abstract is missing.