( en | de | ru )

 

Disambiguation of "Palmigiano, Alessandra"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithmic correspondence and canonicity for non-distributive logics.

, and . Ann. Pure Appl. Log., 170 (9): 923-974 (2019)

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.

Alessandra Gilibert

Alessandra Riva

Alessandra Rauti

Alessandra Martire

Alessandra Milandri

 

Other publications of authors with the same name

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)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)Proof systems for Moss' coalgebraic logic., , and . Theor. Comput. Sci., (2014)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)Non-normal modal logics and conditional logics: Semantic analysis and proof theory., , , and . Inf. Comput., (2022)Labelled Calculi for Lattice-Based Modal Logics., , , , , and . ICLA, volume 13963 of Lecture Notes in Computer Science, page 23-47. Springer, (2023)