Follow
Alessandra Palmigiano
Alessandra Palmigiano
Verified email at vu.nl - Homepage
Title
Cited by
Cited by
Year
Canonical extensions and relational completeness of some substructural logics
JM Dunn, M Gehrke, A Palmigiano
The Journal of Symbolic Logic 70 (3), 713-740, 2005
1632005
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
1262012
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
1102019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
1102014
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
982018
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
672014
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
662016
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
622016
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775-816, 2017
592017
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
562016
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
542017
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
542016
Epistemic updates on algebras
AA Kurz, AA Palmigiano
Logical Methods in Computer Science 9, 2013
542013
Constructive canonicity of inductive inequalities
W Conradie, A Palmigiano
Logical Methods in Computer Science Volume 16, Issue 3, 2020, pp. 8:1–8:39 …, 2020
502020
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
502015
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
492016
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
492013
Proof systems for the coalgebraic cover modality.
M Bílková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
482008
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
462016
Sahlqvist via Translation
W Conradie, A Palmigiano, Z Zhao
Logical Methods in Computer Science 15, 2019
402019
The system can't perform the operation now. Try again later.
Articles 1–20