5 found
Sort by:
  1. Sebastian Enqvist (2013). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis 7 (2):233-264.
    There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary class of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Sebastian Enqvist (2012). Interrogative Belief Revision Based on Epistemic Strategies. Studia Logica 100 (3):453-479.
    I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Sebastian Enqvist (2011). A Structuralist Framework for the Logic of Theory Change. In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. 105--135.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Sebastian Enqvist (2010). Contraction in Interrogative Belief Revision. Erkenntnis 72 (3):315 - 335.
    In the paper "On the role of the research agenda in epistemic change", Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; Gärdenfors 1988) should be extended to include a representation of the agent's research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
    The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of modal logic, so far interrogative belief revision has (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation