Natalia Moanga. Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. In 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. pages 67-74, IEEE, 2020. [doi]
Abstract is missing.