( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Categories: How I Learned to Stop Worrying and Love Two Sorts.

, , , , , и . WoLLIC, том 9803 из Lecture Notes in Computer Science, стр. 145-164. Springer, (2016)

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.

Alessandra Riva

Alessandra Gilibert

Alessandra Rauti

Alessandra Martire

Alessandra Bravi

 

Другие публикации лиц с тем же именем

Lattice Logic Properly Displayed., и . WoLLIC, том 10388 из Lecture Notes in Computer Science, стр. 153-169. Springer, (2017)Algorithmic correspondence and canonicity for distributive modal logic., и . Ann. Pure Appl. Log., 163 (3): 338-376 (2012)Algorithmic correspondence and canonicity for non-distributive logics., и . Ann. Pure Appl. Log., 170 (9): 923-974 (2019)Algebraic Proof Theory for LE-logics., , , , и . ACM Trans. Comput. Log., 25 (1): 6:1-6:37 (января 2024)Slanted Canonicity of Analytic Inductive Inequalities., и . ACM Trans. Comput. Log., 22 (3): 18:1-18:41 (2021)Proof systems for Moss' coalgebraic logic., , и . Theor. Comput. Sci., (2014)Unified inverse correspondence for DLE-Logics., , , , , и . CoRR, (2022)Modal reduction principles across relational semantics., , , , , , и . CoRR, (2022)Non-normal modal logics and conditional logics: Semantic analysis and proof theory., , , и . Inf. Comput., (2022)Labelled Calculi for Lattice-Based Modal Logics., , , , , и . ICLA, том 13963 из Lecture Notes in Computer Science, стр. 23-47. Springer, (2023)