113 found
Order:
  1. Krister Segerberg (1971). An Essay in Classical Modal Logic. Uppsala,Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
     
    Export citation  
     
    My bibliography   70 citations  
  2. Krister Segerberg (1988). Meeting of the Association for Symbolic Logic: Auckland, 1986. Journal of Symbolic Logic 53 (1):330-334.
  3.  13
    Krister Segerberg (1998). Irrevocable Belief Revision in Dynamic Doxastic Logic. Notre Dame Journal of Formal Logic 39 (3):287-306.
    In this paper we present a new modeling for belief revision that is what we term irrevocable. This modeling is of philosophical interest since it captures some features of suppositional reasoning, and of formal interest since it is closely connected with AGM, yet provides for iterated belief revision. The analysis is couched in terms of dynamic doxastic logic.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  4.  86
    Hannes Leitgeb & Krister Segerberg (2007). Dynamic Doxastic Logic: Why, How, and Where To? Synthese 155 (2):167 - 190.
    We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  5.  83
    Krister Segerberg (1973). Two-Dimensional Modal Logic. Journal of Philosophical Logic 2 (1):77 - 96.
  6.  4
    Krister Segerberg (1982). Classical Propositional Operators: An Exercise in the Foundations of Logic. Oxford University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   19 citations  
  7.  56
    Krister Segerberg (1992). Getting Started: Beginnings in the Logic of Action. Studia Logica 51 (3-4):347 - 378.
    A history of the logic of action is outlined, beginning with St Anselm. Five modern authors are discussed in some detail: von Wright, Fitch, Kanger, Chellas and Pratt.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  8.  58
    Wlodek Rabinowicz & Krister Segerberg (1994). Actual Truth, Possible Knowledge. Topoi 13 (2):101-115.
    The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  9.  4
    Krister Segerberg (1995). Belief Revision From the Point of View of Doxastic Logic. Logic Journal of the IGPL 3 (4):535-553.
    In 1985 Alchourrón, Gärdenfors and Makinson presented their now classic theory of theory change . In 1988 Adam Grove, generalizing David Lewis's theory of counterfactuals, presented a model theory suitable for the AGM theory. Although AGM and Grove mentioned object languages, neither used them. But recently, Maarten de Rijke has shown how object languages can be brought into the picture. In the present paper we take de Rijke's idea further, addressing the question whether there is a particular doxastic or epistemic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  10.  28
    Krister Segerberg (1968). Propositional Logics Related to Heyting's and Johansson's. Theoria 34 (1):26-61.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  11. Krister Segerberg (1972). Post Completeness in Modal Logic. Journal of Symbolic Logic 37 (4):711-715.
  12.  13
    Krister Segerberg (1968). Decidability of S4. Theoria 34 (1):7-20.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  13. Sten Lindström & Krister Segerberg (2007). Modal Logic and Philosophy. In Patrick Blackburn & Johan van Benthem (eds.), Handbook of Modal Logic. Elsevier
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  14.  30
    Krister Segerberg (1989). Bringing It About. Journal of Philosophical Logic 18 (4):327 - 347.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  15.  49
    Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
    This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done) α ” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  1
    Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh (1986). Semantical Considerations on Floyd-Hoare Logic. Journal of Symbolic Logic 51 (1):225-227.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  17.  45
    Krister Segerberg (2006). Moore Problems in Full Dynamic Doxastic Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
    Dynamic doxastic logic (DDL) is the modal logic of belief change. In basic DDL a modal operator [* ϕ ] carries the informal meaning "after the agent has revised his beliefs by ϕ " or "after the agent has accepted the information that ϕ "; it is assumed that the arguments of the star operator * are pure Boolean formulae. That assumption is discarded in full DDL where any pure doxastic formula may be an argument. As noted by other authors, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18. Krister Segerberg (forthcoming). On the Logic of Small Changes in Theories I. Acta Philosophica Fennica.
     
    Export citation  
     
    My bibliography   1 citation  
  19.  17
    Krister Segerberg (1970). Modal Logics with Linear Alternative Relations. Theoria 36 (3):301-322.
  20.  32
    Krister Segerberg (1994). A Model Existence Theorem in Infinitary Propositional Modal Logic. Journal of Philosophical Logic 23 (4):337 - 367.
  21.  37
    Krister Segerberg (1999). Default Logic as Dynamic Doxastic Logic. Erkenntnis 50 (2-3):333-352.
    Dynamic doxastic logic (DDL) is used in connexion with theories of belief revision. Here we try to show that languages of DDL are suitable also for discussing aspects of default logic. One ingredient of our analysis is a concept of coherence-as-ratifiability.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22.  5
    Krister Segerberg (2004). A Completeness Proof in Full DDL. Logic and Logical Philosophy 9:77.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  23.  60
    Krister Segerberg (2010). Some Completeness Theorems in the Dynamic Doxastic Logic of Iterated Belief Revision. Review of Symbolic Logic 3 (2):228-246.
    The success of the AGM paradigmn, Gis remarkable, as even a quick look at the literature it has generated will testify. But it is also remarkable, at least in hindsight, how limited was the original effort. For example, the theory concerns the beliefs of just one agent; all incoming information is accepted; belief change is uniquely determined by the new information; there is no provision for nested beliefs. And perhaps most surprising: there is no analysis of iterated change.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  12
    Krister Segerberg (1990). Validity and Satisfaction in Imperative Logic. Notre Dame Journal of Formal Logic 31 (2):203--221.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  25.  15
    Krister Segerberg (1989). A Note on an Impossibility Theorem of Gardenfors. Noûs 23 (3):351-354.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  26.  2
    Hannes Leitgeb & Krister Segerberg (2007). Dynamic Doxastic Logic: Why, How, and Where To? Synthese 155 (2):167-190.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  17
    Krister Segerberg (1980). A Note on the Logic of Elsewhere. Theoria 46 (2-3):183-187.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  28.  32
    Krister Segerberg (1989). Notes on Conditional Logic. Studia Logica 48 (2):157 - 168.
    This paper consists of some lecture notes in which conditional logic is treated as an extension of modal logic. Completeness and filtration theorems are provided for some basis systems.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  29.  23
    Krister Segerberg (1980). Applying Modal Logic. Studia Logica 39 (2-3):275 - 295.
    The main purpose of the paper is to introduce philosophers and philosophical logicians to dynamic logic, a subject which promises to be of interest also to philosophy. A new completeness result involving both after — and during — operators is announced.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  30.  14
    Krister Segerberg (1996). A General Framework for the Logic of Theory Change. Bulletin of the Section of Logic 25:2-8.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  32
    Krister Segerberg (1985). Routines. Synthese 65 (2):185 - 210.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  32.  13
    Brian F. Chellas & Krister Segerberg (1996). Modal Logics in the Vicinity of S. Notre Dame Journal of Formal Logic 37 (1):1-24.
    We define prenormal modal logics and show that S1, S1, S0.9, and S0.9 are Lewis versions of certain prenormal logics, determination and decidability for which are immediate. At the end we characterize Cresswell logics and ponder C. I. Lewis's idea of strict implication in S1.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  33.  26
    Krister Segerberg (1982). The Logic of Deliberate Action. Journal of Philosophical Logic 11 (2):233 - 254.
  34.  7
    David Makinson & Krister Segerberg (1974). Post Completeness and Ultrafilters. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  32
    Krister Segerberg (1984). Towards an Exact Philosophy of Action. Topoi 3 (1):75-83.
  36.  17
    Krister Segerberg (1967). On the Logic of “To-Morrow”. Theoria 33 (1):45-52.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  37.  36
    Krister Segerberg (1982). A Deontic Logic of Action. Studia Logica 41 (2-3):269 - 282.
    The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  38.  25
    Krister Segerberg (1967). Some Modal Logics Based on a Three-Valued Logic. Theoria 33 (1):53-71.
  39.  10
    E. J. Lemmon, Dana Scott & Krister Segerberg (1979). An Introduction to Modal Logic. Journal of Symbolic Logic 44 (4):653-654.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  40.  28
    Krister Segerberg (1965). A Contribution to Nonsense-Logics. Theoria 31 (3):199-217.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  41.  9
    Krister Segerberg (1979). Epistemic Considerations in Game Theory. Theory and Decision 11 (4):363-373.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  27
    Krister Segerberg (1988). Talking About Actions. Studia Logica 47 (4):347 - 352.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  43.  7
    Krister Segerberg (1976). The Truth About Some Post Numbers. Journal of Symbolic Logic 41 (1):239-244.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  44. Krister Segerberg & Rysiek Sliwinski (eds.) (2003). A Philosophical Smorgasbord: Essays on Action, Truth and Other Things in Honour of Fredrick Stoutland. Uppsala Philosophical Studies 52.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  45. Frederick Stoutland, Krister Segerberg & Rysiek Śliwiński (eds.) (2003). A Philosophical Smorgasbord: Essays on Action, Truth, and Other Things in Honour of Frederick Stoutland. Uppsala Universitet.
     
    Export citation  
     
    My bibliography   1 citation  
  46.  17
    Krister Segerberg (1976). A Neglected Family of Aggregation Problems in Ethics. Noûs 10 (2):221-244.
  47.  34
    Krister Segerberg (2011). A Modal Logic of Metaphor. Studia Logica 99 (1-3):337-347.
    The purpose of this paper is to suggest a formal modelling of metaphors as a lingustic tool capable of conveying meanings from one conceptual space to another. This modelling is done within DDL (dynamic doxastic logic).
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  48.  7
    Krister Segerberg (1995). Dynamic Logic. In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  5
    Krister Segerberg (1986). Modal Logics with Functional Alternative Relations. Notre Dame Journal of Formal Logic 27 (4):504-522.
  50.  28
    Brian F. Chellas & Krister Segerberg (1994). Modal Logics with the MacIntosh Rule. Journal of Philosophical Logic 23 (1):67 - 86.
    Having gained some idea of what MacIntosh logics there are, we conclude this paper with a remark about the totality of them. Let theterritory of a rule or condition be the class of all modal logics that have the rule or satisfy the condition. What is MacIntosh territory, the class of all normal logics with the MacIntosh rule, like? What is its structure?
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 113