90 found
Sort by:
  1.  91 DLs
    Sten Lindström & Krister Segerberg (2007). Modal Logic and Philosophy. In Patrick Blackburn & Johan van Benthem (eds.), Handbook of Modal Logic. Elsevier
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2.  84 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  3.  76 DLs
    Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) (2009). Logicism, Intuitionism, and Formalism - What has Become of Them? Springer.
    These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.A special section is concerned with constructive ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4.  64 DLs
    Krister Segerberg (1973). Two-Dimensional Modal Logic. Journal of Philosophical Logic 2 (1):77 - 96.
  5.  59 DLs
    Krister Segerberg (1972). Post Completeness in Modal Logic. Journal of Symbolic Logic 37 (4):711-715.
  6.  57 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  7.  49 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  8.  47 DLs
    Krister Segerberg (1988). Meeting of the Association for Symbolic Logic: Auckland, 1986. Journal of Symbolic Logic 53 (1):330-334.
  9.  43 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  10.  41 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  11.  36 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  12.  33 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  13.  32 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  14.  30 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  15.  28 DLs
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  16.  25 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  17.  25 DLs
    Krister Segerberg (1989). Bringing It About. Journal of Philosophical Logic 18 (4):327 - 347.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18.  24 DLs
    Krister Segerberg (1988). Talking About Actions. Studia Logica 47 (4):347 - 352.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19.  23 DLs
    Krister Segerberg (1985). Routines. Synthese 65 (2):185 - 210.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20.  21 DLs
    Krister Segerberg (1994). A Model Existence Theorem in Infinitary Propositional Modal Logic. Journal of Philosophical Logic 23 (4):337 - 367.
  21.  21 DLs
    Krister Segerberg (1984). Towards an Exact Philosophy of Action. Topoi 3 (1):75-83.
  22.  19 DLs
    Krister Segerberg (1982). The Logic of Deliberate Action. Journal of Philosophical Logic 11 (2):233 - 254.
  23.  19 DLs
    Krister Segerberg (1992). Action Incompleteness. Studia Logica 51 (3-4):533 - 550.
    The author has previously introduced an operator into dynamic logic which takes formulae to terms; the suggested reading of A was the bringing about of A or the seeing to it that A. After criticism from S. K. Thomason and T. J. Surendonk the author now presents an improved version of his theory. The crucial feature is the introduction of an operatorOK taking terms to formulae; the suggested reading of OK is always terminates.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24.  16 DLs
    Krister Segerberg (1965). A Contribution to Nonsense-Logics. Theoria 31 (3):199-217.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25.  15 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  26.  15 DLs
    Krister Segerberg (1967). Some Modal Logics Based on a Three-Valued Logic. Theoria 33 (1):53-71.
  27.  14 DLs
    Krister Segerberg (1968). Propositional Logics Related to Heyting's and Johansson's. Theoria 34 (1):26-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28.  14 DLs
    Krister Segerberg (1976). A Neglected Family of Aggregation Problems in Ethics. Noûs 10 (2):221-244.
  29.  12 DLs
    Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
    We consider a quantifier-free language in which there are terms as well as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, does. We study a new logic in which does is claimed to approximate some features of the informal concept the agent performs the action.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30.  11 DLs
    Krister Segerberg (1980). A Note on the Logic of Elsewhere. Theoria 46 (2-3):183-187.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31.  11 DLs
    Krister Segerberg (1989). A Note on an Impossibility Theorem of Gardenfors. Noûs 23 (3):351-354.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32.  11 DLs
    Krister Segerberg (1996). Three Recipes for Revision. Theoria 62 (1-2):62-73.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33.  10 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  34.  10 DLs
    Krister Segerberg (1970). Modal Logics with Linear Alternative Relations. Theoria 36 (3):301-322.
  35.  9 DLs
    Krister Segerberg (1990). Validity and Satisfaction in Imperative Logic. Notre Dame Journal of Formal Logic 31 (2):203--221.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36.  7 DLs
    Krister Segerberg (1976). Discrete Linear Future Time Without Axioms. Studia Logica 35 (3):273 - 278.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37.  7 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  38.  7 DLs
    Krister Segerberg (1968). Decidability of Four Modal Logics. Theoria 34 (1):21-25.
  39.  6 DLs
    Krister Segerberg (1968). Decidability of S4. Theoria 34 (1):7-20.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40.  5 DLs
    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  
     
    My bibliography  
     
    Export citation  
  41.  5 DLs
    Krister Segerberg (1967). On the Logic of “To-Morrow”. Theoria 33 (1):45-52.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42.  4 DLs
    Krister Segerberg (1969). Review: Nicholas Rescher, Recent Developments and Trends in Logic; Yehoshua Bar-Hillel, A Neglected Recent Trend in Logic. [REVIEW] Journal of Symbolic Logic 34 (3):500-500.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43.  4 DLs
    Krister Segerberg (1976). The Truth About Some Post Numbers. Journal of Symbolic Logic 41 (1):239-244.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44.  4 DLs
    Krister Segerberg (1969). Review: Leon W. Cohen, Gertrude Ehrlich, The Structure of the Real Number System. [REVIEW] Journal of Symbolic Logic 34 (4):642-643.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45.  3 DLs
    Krister Segerberg (1986). Modal Logics with Functional Alternative Relations. Notre Dame Journal of Formal Logic 27 (4):504-522.
  46.  3 DLs
    Krister Segerberg (1997). A Doxastic Walk with Darwiche and Pearl. Nordic Journal of Philosophical Logic 2 (1):63-66.
  47.  3 DLs
    Krister Segerberg (1993). Perspectives on Decisions. Proceedings of the Aristotelian Society 93:263 - 278.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48.  3 DLs
    Krister Segerberg (1982). Classical Propositional Operators: An Exercise in the Foundations of Logic. Oxford University Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49.  3 DLs
    Krister Segerberg (2003). A Festival of Facts. Logic and Logical Philosophy 2 (5):7-22.
    Consider yourself invited to a filmfestival — a festival of shorts. Regrettably it is a festival with a limitation: you will not be able actually to see the films. However, this limitation is offset by an unusual feature: the films to be shown are not only short but ultrashort — with one exception, each film consists of only a few frames. Instead of showing the films we shall be able to give a complete description of them.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50.  2 DLs
    Krister Segerberg (1969). Review: Raymond L. Wilder, Introduction to the Foundations of Mathematics. [REVIEW] Journal of Symbolic Logic 34 (2):310-310.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 90