Alessandra Palmigiano
University of Johannesburg
104 Papers
638 Citations
Alessandra Palmigiano is an academic researcher from University of Johannesburg. The author has contributed to research in topics: Modal logic & Axiom. The author has an hindex of 24, co-authored 104 publications. Previous affiliations of Alessandra Palmigiano include University of Amsterdam & Delft University of Technology.
Chat about Author
Papers
•Posted Content
Non-distributive logics: from semantics to meaning
TL;DR: In this article, an ongoing line of research in the relational (non topological) semantics of non-distributive logics is discussed, rooted in dual characterization results and insights from unified correspondence theory.
A proof-theoretic semantic analysis of dynamic epistemic logic
TL;DR: An analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics, and a generalisation of Belnap’s cut elimination metatheorem for display calculi and a revised version of the display-style calculus D.EAK are provided.
Algebraic semantics and model completeness for intuitionistic public announcement logic
TL;DR: The dual characterization of the corresponding submodelinjection map is given, as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel.
Jónsson-style canonicity for ALBA-inequalities
TL;DR: The theory of canonical extensions is developed and is applied to obtain a new canonicity proof for those inequalities in the language of Distributive Modal Logic (DML) on which the algorithm ALBA is successful.
Unified correspondence as a proof-theoretic tool
Giuseppe Greco,Minghui Ma,Alessandra Palmigiano,Alessandra Palmigiano,Apostolos Tzimoulis,Zhiguang Zhao +5 more
TL;DR: In this paper, a formal connection between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap, is established.