Switch to: References

Add citations

You must login to add citations.
  1. A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
    Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - forthcoming - Journal of Philosophical Logic:1-67.
    This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Sentence Connectives in Formal Logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
  • Logics for Propositional Determinacy and Independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
    This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations