10 found
Order:
  1.  11
    Algorithmic Correspondence and Canonicity for Non-Distributive Logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  16
    Algorithmic Correspondence and Canonicity for Distributive Modal Logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
  3.  60
    Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  13
    Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.Minghui Ma, Alessandra Palmigiano & Mehrnoosh Sadrzadeh - 2014 - Annals of Pure and Applied Logic 165 (4):963-995.
    In the present 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 Public Announcement Logic without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  14
    Canonical Extensions for Congruential Logics with the Deduction Theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.
    We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart of any finitary and congruential logic . This definition is logic-based rather than purely order-theoretic and is in general different from the definition of canonical extensions for monotone poset expansions, but the two definitions agree whenever the algebras in are based on lattices. As a case study on logics purely based on implication, we prove that the varieties of Hilbert and Tarski algebras are canonical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  4
    Proof Systems for the Coalgebraic Cover Modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 2008 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 1-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  9
    Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713-740.
    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 of fusion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  10
    Logics for Social Behaviour: An Editorial.Alessandra Palmigiano & Marcus Pivato - 2018 - Studia Logica 106 (5):889-891.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    The Logic of Resources and Capabilities.Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg - 2018 - Review of Symbolic Logic 11 (2):371-410.
    We introduce the logic LRC, designed to describe and reason about agents’ abilities and capabilities in using resources. The proposed framework bridges two—up to now—mutually independent strands of literature: the one on logics of abilities and capabilities, developed within the theory of agency, and the one on logics of resources, motivated by program semantics. The logic LRC is suitable to describe and reason about key aspects of social behaviour in organizations. We prove a number of properties enjoyed by LRC and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    Indian Institute of Technology, Kanpur January 14–26, 2008.Ramon Jansana, Mai Gehrke, Alessandra Palmigiano, Mihir K. Chakraborty, Didier Dubois, Eric Pacuit, Rohit Parikh & Prakash Panangaden - 2008 - Bulletin of Symbolic Logic 14 (4).