HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alessandra Palmigiano

Publications
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge
Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

algebraic logic, algorithmic correspondence, Categorical methods in logic, coalgebra, correspondence theory, Heyting algebras, intuitionistic logic2, modal logic, modal logics, modal mu-calculus2, non-classical logics, Proofs and Types, Sahlqvist correspondence, Sahlvist theory, substructural logics.

Copyright © 2012-2025 easychair.org. All rights reserved.