Alessandra Palmigiano

Cited by

	All	Since 2019
Citations	2327	1167
h-index	30	20
i10-index	54	44

320

160

240

20042005200620072008200920102011201220132014201520162017201820192020202120222023202410 3 13 22 9 13 28 26 36 58 94 145 180 317 178 261 152 205 212 205 119

Public access

View all

38 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Willem ConradieProfessor of Mathematics, University of the WitwatersrandVerified email at wits.ac.za
Giuseppe GrecoVrije Universiteit AmsterdamVerified email at vu.nl
Sabine FrittellaINSA Centre Val de LoireVerified email at insa-cvl.fr
Apostolos TzimoulisVrije Universiteit AmsterdamVerified email at tzimoulis.eu
Nachoem WijnbergVerified email at uva.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
Zhiguang ZhaoTaishan UniversityVerified email at tudelft.nl
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamVerified email at vu.nl
Sumit SourabhUniversity of AmsterdamVerified email at uva.nl
Fei LiangSchool of Philosophy and Social Development, Shandong University, ChinaVerified email at sdu.edu.cn
Mattia PanettierePhD CandidateVerified email at vu.nl
Minghui MaSun Yat-Sen UniversityVerified email at mail.sysu.edu.cn
Andrea De DomenicoVrije Universiteit AmsterdamVerified email at vu.nl
Ramon JansanaProfessor of Logic, University of BarcelonaVerified email at ub.edu
M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
Andrew CraigDepartment of Mathematics and Applied Mathematics, University of JohannesburgVerified email at uj.ac.za
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerified email at ucl.ac.uk
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Riccardo ReUniversità dell'InsubriaVerified email at uninsubria.it

Alessandra Palmigiano

Vrije Universiteit Amsterdam

Verified email at vu.nl - Homepage

logic


Title Sort by citations Sort by year Sort by 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	164	2005
Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012	127	2012
Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019	113	2019
Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014	111	2014
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	99	2018
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	67	2016
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	67	2014
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	62	2016
Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775-816, 2017	59	2017
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	59	2016
Algebraic modal correspondence: Sahlqvist and beyond W Conradie, A Palmigiano, S Sourabh Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017	54	2017
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	54	2016
Epistemic updates on algebras AA Kurz, AA Palmigiano Logical Methods in Computer Science 9, 2013	54	2013
Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015	51	2015
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	50	2020
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	49	2016
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	49	2013
Proof systems for the coalgebraic cover modality. M Bílková, A Palmigiano, Y Venema Advances in modal logic 7, 1-21, 2008	48	2008
A multi-type calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang Logic, Language, Information, and Computation: 23rd International Workshop …, 2016	47	2016
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	42	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors