دنبال کردن
Alessandra Palmigiano
Alessandra Palmigiano
Vrije Universiteit Amsterdam
ایمیل تأیید شده در vu.nl - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
1832005
Algorithmic correspondence and canonicity for distributive modal logic‏
W Conradie, A Palmigiano‏
Annals of Pure and Applied Logic 163 (3), 338-376, 2012‏
1342012
Algorithmic correspondence and canonicity for non-distributive logics‏
W Conradie, A Palmigiano‏
Annals of Pure and Applied Logic 170 (9), 923-974, 2019‏
1322019
Unified correspondence‏
W Conradie, S Ghilardi, A Palmigiano‏
Johan van Benthem on logic and information dynamics, 933-975, 2014‏
1242014
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‏
1152018
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‏
762016
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‏
722014
Multi-type sequent calculi‏
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic‏
arXiv preprint arXiv:1609.05343, 2016‏
692016
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‏
682016
Epistemic updates on algebras‏
AA Kurz, AA Palmigiano‏
Logical Methods in Computer Science 9, 2013‏
622013
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‏
612016
Sahlqvist theory for impossible worlds‏
A Palmigiano, S Sourabh, Z Zhao‏
Journal of Logic and Computation 27 (3), 775-816, 2017‏
602017
Algebraic modal correspondence: Sahlqvist and beyond‏
W Conradie, A Palmigiano, S Sourabh‏
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017‏
582017
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‏
542016
A multi-type calculus for inquisitive logic‏
S Frittella, G Greco, A Palmigiano, F Yang‏
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016‏
542016
Algorithmic correspondence for intuitionistic modal mu-calculus‏
W Conradie, Y Fomatati, A Palmigiano, S Sourabh‏
Theoretical Computer Science 564, 30-62, 2015‏
522015
Dynamic epistemic logic displayed‏
G Greco, A Kurz, A Palmigiano‏
International Workshop on Logic, Rationality and Interaction, 135-148, 2013‏
522013
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‏
502020
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‏
482017
Proof systems for the coalgebraic cover modality.‏
M Bílková, A Palmigiano, Y Venema‏
Advances in modal logic 7, 1-21, 2008‏
482008
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20