Alessandra Palmigiano

Citado por

	Total	Desde 2019
Citas	2345	1167
Índice h	30	20
Índice i10	54	44

340

170

255

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

Acceso público

Ver todo

38 artículos

0 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
Sabine FrittellaINSA Centre Val de LoireDirección de correo verificada de insa-cvl.fr
Apostolos TzimoulisVrije Universiteit AmsterdamDirección de correo verificada de tzimoulis.eu
Nachoem WijnbergDirección de correo verificada de uva.nl
Alexander KurzChapman UniversityDirección de correo verificada de chapman.edu
Zhiguang ZhaoTaishan UniversityDirección de correo verificada de tudelft.nl
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamDirección de correo verificada de vu.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
Ramon JansanaProfessor of Logic, University of BarcelonaDirección de correo verificada de ub.edu
M. Andrew MoshierProfessor Mathematics and Computer ScienceDirección de correo verificada de chapman.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	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	128	2012
Algorithmic correspondence and canonicity for non-distributive logics W Conradie, A Palmigiano Annals of Pure and Applied Logic 170 (9), 923-974, 2019	114	2019
Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014	112	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	100	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	60	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	60	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
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
Algorithmic correspondence for intuitionistic modal mu-calculus W Conradie, Y Fomatati, A Palmigiano, S Sourabh Theoretical Computer Science 564, 30-62, 2015	52	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	51	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

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