#### Filter Results:

- Full text PDF available (50)

#### Publication Year

1999

2017

- This year (10)
- Last 5 years (37)
- Last 10 years (45)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
- J. Symb. Log.
- 2005

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

- Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh
- Ann. Pure Appl. Logic
- 2011

In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on single-agent1 Public Announcement Logic (PAL) without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is… (More)

- Willem Conradie, Alessandra Palmigiano
- Ann. Pure Appl. Logic
- 2012

We define the algorithm ALBA for the language of the same distributive modal logic (DML) for which a Sahlqvist theorem was proved by Gehrke, Nagahashi, and Venema. Successful executions of ALBA compute the local first-order correspondents of input DML inequalities, and also guarantee their canonicity. The class of inequalities on which ALBA is successful is… (More)

- Alexander Kurz, Alessandra Palmigiano
- Logical Methods in Computer Science
- 2011

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-MossSolecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated… (More)

- Alessandra Palmigiano
- Theor. Comput. Sci.
- 2004

Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of the algebrization of logics [12]. A Priestley-style duality is established… (More)

- Marta Bílková, Alessandra Palmigiano, Yde Venema
- Advances in Modal Logic
- 2008

We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided sound and complete sequent calculus for the negation-free language, and for the language with negation we… (More)

- Alessandra Palmigiano
- Electr. Notes Theor. Comput. Sci.
- 2002

Logics as Dialgebras Alessandra Palmigiano Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona Abstract The aim of this report is to propose a line of research that studies the connections between the theory of consequence operators as developed in [1] and [4] and the theory of dialgebras. The first steps in this direction… (More)

- Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano
- Johan van Benthem on Logic and Information…
- 2014

- Alessandra Palmigiano
- Electr. Notes Theor. Comput. Sci.
- 2003

Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of the algebraization of logics. In [4], a Priestley-style duality is established… (More)

- Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
- Theor. Comput. Sci.
- 2015

In the present paper, the algorithmic correspondence theory developed in (Conradie and Palmigiano, 2012) is extended to mu-calculi with a non-classical base. We focus in particular on the language of bi-intuitionistic modal mu-calculus. We enhance the algorithm ALBA introduced in (Conradie and Palmigiano, 2012) so as to guarantee its success on the class of… (More)