Switch to: References

Add citations

You must login to add citations.
  1. Intentional Identity Revisited.Ahti Pietarinen - 2001 - Nordic Journal of Philosophical Logic 6 (2):147-188.
    The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across...
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Canonicity for Intensional Logics Without Iterative Axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
    David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis's ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.
    A variety V of Boolean algebras with operators is singleton-persistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atom-canonical if it contains the complex algebra of the atom structure of any of the atomic members of V.This paper explores relationships between these "persistence" properties and questions of whether V is generated by its complex algebras or its atomic members, or is closed under canonical embedding algebras or completions. It also develops a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • The McKinsey–Lemmon Logic is Barely Canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.
    We study a canonical modal logic introduced by Lemmon, and axiomatised by an infinite sequence of axioms generalising McKinsey’s formula. We prove that the class of all frames for this logic is not closed under elementary equivalence, and so is non-elementary. We also show that any axiomatisation of the logic involves infinitely many non-canonical formulas.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
    This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS [2]. We follow the lead of the author's paper [9] where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form-no intensional operator is in boolean combination with a propositional letter-and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, is neighborhood canonical, (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reflexive-Insensitive Modal Logics.David R. Gilbert & Giorgio Venturi - 2016 - Review of Symbolic Logic 9 (1):167-180.
  • A Comparison of Two Approaches to Parainconsistency: Flemish and Polish.Marek Nasieniewski - 2001 - Logic and Logical Philosophy 9:47.
    In this paper we present a comparison of certain inconsistencyadaptive logics and Jaśkowski’s logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Constructive Canonicity in Non-Classical Logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
    Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations