Alessandra Palmigiano

Citado por

	Total	Desde 2019
Citas	2415	1240
Índice h	31	20
Índice i10	54	45

340

170

255

20042005200620072008200920102011201220132014201520162017201820192020202120222023202410 3 12 22 9 13 28 27 36 58 96 145 173 339 175 278 151 177 202 207 209

Acceso público

Ver todo

37 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Willem ConradieProfessor of Mathematics, University of the WitwatersrandDirección de correo verificada de wits.ac.za
Giuseppe GrecoVrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Apostolos TzimoulisVrije Universiteit AmsterdamDirección de correo verificada de tzimoulis.eu
Sabine FrittellaINSA Centre Val de LoireDirección de correo verificada de insa-cvl.fr
Nachoem WijnbergDirección de correo verificada de uva.nl
Alexander KurzChapman UniversityDirección de correo verificada de chapman.edu
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamDirección de correo verificada de vu.nl
Zhiguang ZhaoTaishan UniversityDirección de correo verificada de tudelft.nl
Sumit SourabhUniversity of AmsterdamDirección de correo verificada de uva.nl
Fei LiangSchool of Philosophy and Social Development, Shandong University, ChinaDirección de correo verificada de sdu.edu.cn
Mattia PanettierePhD CandidateDirección de correo verificada de vu.nl
Minghui MaSun Yat-Sen UniversityDirección de correo verificada de mail.sysu.edu.cn
Andrea De DomenicoVrije Universiteit AmsterdamDirección de correo verificada de vu.nl
M. Andrew MoshierProfessor Mathematics and Computer ScienceDirección de correo verificada de chapman.edu
Ramon JansanaProfessor of Logic, University of BarcelonaDirección de correo verificada de ub.edu
Andrew CraigDepartment of Mathematics and Applied Mathematics, University of JohannesburgDirección de correo verificada de uj.ac.za
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonDirección de correo verificada de ucl.ac.uk
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesDirección de correo verificada de cs.cas.cz
Peter JipsenProfessor of Mathematics, Chapman UniversityDirección de correo verificada de chapman.edu
Riccardo ReUniversità dell'InsubriaDirección de correo verificada de uninsubria.it

Seguir

Alessandra Palmigiano

Vrije Universiteit Amsterdam

Dirección de correo verificada de vu.nl - Página principal

logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	174	2005
Algorithmic correspondence and canonicity for distributive modal logic W Conradie, A Palmigiano Annals of Pure and Applied Logic 163 (3), 338-376, 2012	130	2012
Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019	122	2019
Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014	115	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	106	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	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
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	65	2016
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	64	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	56	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	55	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
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	50	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	49	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	49	2016
Proof systems for the coalgebraic cover modality. M Bílková, A Palmigiano, Y Venema Advances in modal logic 7, 1-21, 2008	48	2008
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	47	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores