Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lattice Logic Properly Displayed., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 153-169. Springer, (2017)Algorithmic correspondence and canonicity for distributive modal logic., and . Ann. Pure Appl. Log., 163 (3): 338-376 (2012)Algorithmic correspondence and canonicity for non-distributive logics., and . Ann. Pure Appl. Log., 170 (9): 923-974 (2019)Slanted Canonicity of Analytic Inductive Inequalities., and . ACM Trans. Comput. Log., 22 (3): 18:1-18:41 (2021)Algebraic Proof Theory for LE-logics., , , , and . ACM Trans. Comput. Log., 25 (1): 6:1-6:37 (January 2024)The Logic of Resources and Capabilities., , , and . Rev. Symb. Log., 11 (2): 371-410 (2018)Coalgebra and Logic: A Brief Overview., , and . J. Log. Comput., 20 (5): 985-990 (2010)Unified inverse correspondence for DLE-Logics., , , , , and . CoRR, (2022)Modal reduction principles across relational semantics., , , , , , and . CoRR, (2022)Labelled Calculi for Lattice-Based Modal Logics., , , , , and . ICLA, volume 13963 of Lecture Notes in Computer Science, page 23-47. Springer, (2023)