Alessandra Palmigiano

Cited by

	All	Since 2020
Citations	2578	1080
h-index	32	19
i10-index	55	42

360

180

270

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 3 11 22 8 15 28 27 36 57 97 166 191 341 173 266 158 184 199 210 314 11

Public access

View all

39 articles

2 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 TzimoulisUniversity of LuxembourgVerified email at tzimoulis.eu
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamVerified email at vu.nl
Nachoem WijnbergVerified email at uva.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
Zhiguang ZhaoTaishan UniversityVerified email at tudelft.nl
Sumit SourabhUniversity of AmsterdamVerified email at uva.nl
Mattia PanettierePhD CandidateVerified email at vu.nl
Fei LiangSchool of Philosophy and Social Development, Shandong University, ChinaVerified email at sdu.edu.cn
Andrea De DomenicoVrije Universiteit AmsterdamVerified email at vu.nl
Minghui MaSun Yat-Sen UniversityVerified email at mail.sysu.edu.cn
M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
Ramon JansanaProfessor of Logic, University of BarcelonaVerified email at ub.edu
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerified email at ucl.ac.uk
Andrew CraigDepartment of Mathematics and Applied Mathematics, University of JohannesburgVerified email at uj.ac.za
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
Claudette RobinsonUniversity of JohannesburgVerified email at uj.ac.za

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

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