Concepedia

Alessandra Palmigiano

AP

30

Publications

930

Citations

19

H-Index

2004

Active since

Affiliations

University of Johannesburg(Current)

University of Amsterdam

Delft University of Technology

Vrije Universiteit Amsterdam

University of Leicester

Alessandra Palmigiano is an author at University of Johannesburg specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsLanguageLinguisticsFormal VerificationManagementEpistemology

Publications per year

2004–2023

30

Publications

30

Canonical extensions and relational completeness of some substructural logics

J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano · Journal of Symbolic Logic · 2005 · 121 citations

Non-classical Logic, Canonical Extensions, Monotone Maps +9

Algorithmic correspondence and canonicity for distributive modal logic

Willem Conradie, Alessandra Palmigiano · Annals of Pure and Applied Logic · 2011 · 86 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +8

Unified correspondence as a proof-theoretic tool

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano et al. · Journal of Logic and Computation · 2016 · 45 citations · Full text

Engineering, Classical Logic, Verification +19

Multi-type display calculus for dynamic epistemic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 44 citations · Full text

Formal Logic, Engineering, Dynamic Epistemic Logic +12

Algorithmic correspondence for intuitionistic modal mu-calculus

Willem Conradie, Yves Fomatati, Alessandra Palmigiano et al. · Theoretical Computer Science · 2014 · 42 citations · Full text

Automated Reasoning, Constructive Logic, Modal Logic +2

Rows per page

1–5 of 30