关注
Alessandra Palmigiano
Alessandra Palmigiano
在 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
1722005
Algorithmic correspondence and canonicity for distributive modal logic
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 163 (3), 338-376, 2012
1292012
Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano
Annals of Pure and Applied Logic 170 (9), 923-974, 2019
1202019
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
1142014
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
1042018
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
682016
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
662014
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
622016
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
622016
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao
Journal of Logic and Computation 27 (3), 775-816, 2017
592017
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
562016
Algebraic modal correspondence: Sahlqvist and beyond
W Conradie, A Palmigiano, S Sourabh
Journal of Logical and Algebraic Methods in Programming 91, 60-84, 2017
552017
Epistemic updates on algebras
AA Kurz, AA Palmigiano
Logical Methods in Computer Science 9, 2013
552013
Algorithmic correspondence for intuitionistic modal mu-calculus
W Conradie, Y Fomatati, A Palmigiano, S Sourabh
Theoretical Computer Science 564, 30-62, 2015
522015
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
512016
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
502013
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
492020
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
492016
Proof systems for the coalgebraic cover modality.
M Bílková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
482008
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
442017
系统目前无法执行此操作,请稍后再试。
文章 1–20