Switch to: References

Add citations

You must login to add citations.
  1. Mereological Bimodal Logics.Li Dazhu & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (4):823-858.
    In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis - 2018 - Logica Universalis 12 (3-4):351-374.
    We continue the investigations initiated in the recent papers where Bayes logics have been introduced to study the general laws of Bayesian belief revision. In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using the Bayes rule. In this paper we take the more general Jeffrey formula as a conditioning device and study the corresponding modal logics that we call Jeffrey logics, focusing mainly on the countable case. The containment relations among (...)
    $47.60 new   $52.55 used   $54.99 from Amazon    (collection)    View on Amazon.com
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Standard bayes logic is not finitely axiomatizable.Zalán Gyenis - 2020 - Review of Symbolic Logic 13 (2):326-337.
    In the article [2] a hierarchy of modal logics has been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to the modal logics of Medvedev frames it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Modal Logic of Bayesian Belief Revision.Zalán Gyenis, Miklós Rédei & William Brown - 2019 - Journal of Philosophical Logic 48 (5):809-824.
    In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Possibility Semantics.Wesley H. Holliday - 2021 - In Melvin Fitting (ed.), Selected Topics from Contemporary Logics. London: College Publications. pp. 363-476.
    In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a set can be viewed as a "possible world," with the key property of a world being primeness—a world makes a disjunction true only if it makes one of the disjuncts true—which classically implies totality—for each proposition, a world either (...)
    $29.00 used   $36.02 new   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations