Andrea De Domenico, Giuseppe Greco 0001. Algorithmic correspondence and analytic rules. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 371-390, College Publications, 2022.
Abstract is missing.