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
1742005
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
1312012
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
1242019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
1172014
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
1072018
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
692016
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
662014
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
652016
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
642016
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775-816, 2017
592017
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
562017
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
562016
Epistemic updates on algebras
AA Kurz, AA Palmigiano
Logical Methods in Computer Science 9, 2013
552013
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
522015
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
512016
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
502016
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
502013
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
492020
Proof systems for the coalgebraic cover modality.
M Bílková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
482008
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
Proc. TARK 2017, J. Lang ed., Electronic Proceedings in Theoretical Computer …, 2017
472017
The system can't perform the operation now. Try again later.
Articles 1–20