Alessandra Palmigiano
Alessandra Palmigiano
E-mail confirmado em vu.nl - Página inicial
Título
Citado por
Citado por
Ano
Canonical extensions and relational completeness of some substructural logics
JM Dunn, M Gehrke, A Palmigiano
Journal of Symbolic Logic, 713-740, 2005
1442005
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
892012
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
772019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
772014
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation 28 (7), 1367-1442, 2018
702018
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
Journal of Logic and Computation 26 (6), 2017-2065, 2016
562016
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
Journal of Logic and Computation 26 (6), 2067–2104, 2016
492016
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
482016
Proof systems for the coalgebraic cover modality
M Bılková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
452008
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of logical and algebraic methods in programming 91, 60-84, 2017
432017
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
432015
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
432013
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775-816, 2017
422017
Algebraic semantics and model completeness for intuitionistic public announcement logic
M Ma, A Palmigiano, M Sadrzadeh
Annals of Pure and Applied Logic 165 (4), 963-995, 2014
422014
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić
Journal of Logic and Computation 26 (6), 1961-2015, 2016
412016
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
International Workshop on Logic, Language, Information, and Computation, 145-164, 2016
402016
Epistemic updates on algebras
AA Palmigiano, AA Kurz
Logical Methods in Computer Science 9, 2013
40*2013
Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA
W Conradie, A Palmigiano, S Sourabh, Z Zhao
arXiv preprint arXiv:1511.04271, 2015
352015
Δ1-completions of a Poset
M Gehrke, R Jansana, A Palmigiano
Order 30 (1), 39-64, 2013
352013
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
International Workshop on Logic, Language, Information, and Computation, 215-233, 2016
342016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20