Alessandra Palmigiano

Cited by

	All	Since 2019
Citations	2475	1300
h-index	32	21
i10-index	56	47

340

170

255

20042005200620072008200920102011201220132014201520162017201820192020202120222023202410 3 12 22 9 13 28 27 36 58 96 145 173 339 175 278 145 183 203 205 270

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
Apostolos TzimoulisVrije Universiteit AmsterdamVerified email at tzimoulis.eu
Sabine FrittellaINSA Centre Val de LoireVerified email at insa-cvl.fr
Nachoem WijnbergVerified email at uva.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamVerified email at vu.nl
Zhiguang ZhaoTaishan UniversityVerified email at tudelft.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
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
Andrew CraigDepartment of Mathematics and Applied Mathematics, University of JohannesburgVerified email at uj.ac.za
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
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
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	178	2005
Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012	132	2012
Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019	125	2019
Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014	117	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	107	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	70	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
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	66	2014
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	65	2016
Sahlqvist theory for impossible worlds A Palmigiano, S Sourabh, Z Zhao Journal of Logic and Computation 27 (3), 775-816, 2017	59	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	57	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	56	2017
Epistemic updates on algebras AA Kurz, AA Palmigiano Logical Methods in Computer Science 9, 2013	55	2013
Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015	52	2015
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	51	2016
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 multi-type calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang Logic, Language, Information, and Computation: 23rd International Workshop …, 2016	50	2016
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	50	2013
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	49	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