Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Epistemic Logics: Promises, Problems, Shortcomings, and Perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
    Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • “Merely a Logician’s Toy?” Belief Revision Confronting Scientific Theory Change: Erik J. Olsson and Sebastian Enqvist : Belief Revision Meets Philosophy of Science. Berlin: Springer, 2011, Xx+359pp, €145.55 HB. [REVIEW]Gustavo Cevolani & Roberto Festa - 2012 - Metascience 21 (2):463-466.
    Review of Olsson, Erik J. and Enqvist, Sebastian , Belief Revision meets Philosophy of Science.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Guest Editors' Introduction.Giacomo Bonanno, James Delgrande & Hans Rott - 2012 - Journal of Philosophical Logic 41 (1):1-5.
    The contributions to the Special Issue on Multiple Belief Change, Iterated Belief Change and Preference Aggregation are divided into three parts. Four contributions are grouped under the heading "multiple belief change" (Part I, with authors M. Falappa, E. Fermé, G. Kern-Isberner, P. Peppas, M. Reis, and G. Simari), five contributions under the heading "iterated belief change" (Part II, with authors G. Bonanno, S.O. Hansson, A. Nayak, M. Orgun, R. Ramachandran, H. Rott, and E. Weydert). These papers do not only pick (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Blockage Contraction.Sven Ove Hansson - 2013 - Journal of Philosophical Logic 42 (2):415-442.
    Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y ≠ K ÷ p. The contraction outcome K ÷ p is equal to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Three Floors for the Theory of Theory Change.Hans Rott - 2014 - In Vít Punčochář Michal Dančák (ed.), The Logica Yearbook 2013. College Publications. pp. 187-205.
    The theory of theory change due to Alchourrón, Gärdenfors and Makinson ("AGM") has been widely known as being characterized by two sets of postulates, one being very weak and the other being very strong. Commenting on the three classic constructions of partial meet contraction, safe contraction and entrenchment-based construction, I argue that three intermediate levels can be distinguished that play decisive roles within the AGM theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Reasoning Biases, Non‐Monotonic Logics and Belief Revision.Catarina Dutilh Novaes & Herman Veluwenkamp - 2016 - Theoria 82 (4).
    A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? One way (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • On Non-Prioritized Multiple Belief Revision.Li Zhang - 2018 - Dissertation, KTH Royal Institute of Technology
    This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. In choice revision, the input information is represented by a set of sentences, and the agent should make a choice on which sentences to be accepted. Apart from (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Rational Evaluation in Belief Revision.Yongfeng Yuan & Shier Ju - 2015 - Synthese 192 (7):2311-2336.
    We introduce a new operator, called rational evaluation, in belief change. The operator evaluates new information according to the agent’s core beliefs, and then exports the plausible part of the new information. It belongs to the decision module in belief change. We characterize rational evaluation by axiomatic postulates and propose two functional constructions for it, based on the well-known constructions of kernel sets and remainder sets, respectively. The main results of the paper are two representation theorems with respect to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.
    In a note appended to the translation of “On consistency and completeness” (), Gödel reexamined the problem of the unprovability of consistency. Gödel here focuses on an alternative means of expressing the consistency of a formal system, in terms of what would now be called a ‘reflection principle’, roughly, the assertion that a formula of a certain class is provable in the system only if it is true. Gödel suggests that it is this alternative means of expressing consistency that we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark