( en | de | ru )

 

Disambiguation of "Palmigiano, Alessandra"

Author of the publication

copydeleteadd this publication to your clipboard
Unified inverse correspondence for DLE-Logics.

, , , , , and . CoRR, (2022)

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 Riva

Alessandra Gilibert

Alessandra Rusconi

Alessandra Bravi

Alessandra Ambruosi

 

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 non-distributive logics., and . Ann. Pure Appl. Log., 170 (9): 923-974 (2019)Algorithmic correspondence and canonicity for distributive modal logic., and . Ann. Pure Appl. Log., 163 (3): 338-376 (2012)Labelled Calculi for Lattice-Based Modal Logics., , , , , and . ICLA, volume 13963 of Lecture Notes in Computer Science, page 23-47. Springer, (2023)Proof systems for Moss' coalgebraic logic., , and . Theor. Comput. Sci., (2014)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)Modal reduction principles across relational semantics., , , , , , and . CoRR, (2022)Unified inverse correspondence for DLE-Logics., , , , , and . CoRR, (2022)The Logic of Resources and Capabilities., , , and . Rev. Symb. Log., 11 (2): 371-410 (2018)