Switch to: References

Citations of:

On the Modal Logic of Jeffrey Conditionalization

Zalán Gyenis

Logica Universalis 12 (3-4):351-374 (2018)

Add citations

You must login to add citations.

Bayesian Belief Revision Based on Agent’s Criteria.Yongfeng Yuan - 2021 - Studia Logica 109 (6):1311-1346.details In the literature of belief revision, it is widely accepted that: there is only one revision phase in belief revision which is well characterized by the Bayes’ Rule, Jeffrey’s Rule, etc.. However, as I argue in this article, there are at least four successive phases in belief revision, namely first/second order evaluation and first/second order revision. To characterize these phases, I propose mainly four rules of belief revision based on agent’s criteria, and make one composition rule to characterize belief revision (...) as a whole. (shrink) Download Export citation Bookmark
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) Download Export citation Bookmark 1 citation
The Modal Logic of Bayesian Belief Revision.William Brown, Zalán Gyenis & Miklós Rédei - 2019 - Journal of Philosophical Logic 48 (5):809-824.details 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 (...) Download Export citation Bookmark 6 citations
Logic Prizes et Cætera.Jean-Yves Beziau - 2018 - Logica Universalis 12 (3-4):271-296.details I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG in Vichy in June 2018 with the participation of 9 logic (...) Download Export citation Bookmark 3 citations

1