111 found
Order:
  1. An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
  2. Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
  3. Dynamic Doxastic Logic: Why, How, and Where To?Hannes Leitgeb & Krister Segerberg - 2007 - 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  
     
    Bookmark   19 citations  
  4.  35
    Irrevocable Belief Revision in Dynamic Doxastic Logic.Krister Segerberg - 1998 - 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  
     
    Bookmark   36 citations  
  5.  47
    Belief Revision From the Point of View of Doxastic Logic.Krister Segerberg - 1995 - 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  
     
    Bookmark   39 citations  
  6. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  93
    Getting Started: Beginnings in the Logic of Action.Krister Segerberg - 1992 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  8.  20
    Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  9. Actual Truth, Possible Knowledge.Wlodek Rabinowicz & Krister Segerberg - 1994 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  10.  24
    Classical Propositional Operators: An Exercise in the Foundations of Logic.Krister Segerberg - 1982 - Oxford University Press.
  11.  69
    Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
  12.  32
    Validity and Satisfaction in Imperative Logic.Krister Segerberg - 1990 - Notre Dame Journal of Formal Logic 31 (2):203--221.
  13. Meeting of the Association for Symbolic Logic: Auckland, 1986.Krister Segerberg - 1988 - Journal of Symbolic Logic 53 (1):330-334.
  14.  80
    A Deontic Logic of Action.Krister Segerberg - 1982 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  15.  45
    Modal Logics with Linear Alternative Relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
  16.  55
    Bringing It About.Krister Segerberg - 1989 - Journal of Philosophical Logic 18 (4):327 - 347.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  17.  44
    An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  18.  53
    Decidability of S4.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
  19.  75
    Notes on Conditional Logic.Krister Segerberg - 1989 - 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  
     
    Bookmark   13 citations  
  20.  63
    A Model Existence Theorem in Infinitary Propositional Modal Logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.
  21. Post Completeness in Modal Logic.Krister Segerberg - 1972 - Journal of Symbolic Logic 37 (4):711-715.
  22.  14
    Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   20 citations  
  23.  70
    Default Logic as Dynamic Doxastic Logic.Krister Segerberg - 1999 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24. DΔL: A Dynamic Deontic Logic.Krister Segerberg - 2012 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  51
    A Note on the Logic of Elsewhere.Krister Segerberg - 1980 - Theoria 46 (2-3):183-187.
  26.  33
    Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  27.  36
    Leon W. Cohen and Gertrude Ehrlich. The Structure of the Real Number System. D. Van Nostrand Company, Princeton, Toronto, New York, and London, 1963, Viii + 116 Pp. [REVIEW]Krister Segerberg - 1969 - Journal of Symbolic Logic 34 (4):642-643.
  28.  6
    “Actual Truth, Possible Knowledge&Quot.Wlodek Rabinowicz & Krister Segerberg - 1994 - Topoi 13 (2):101-115.
  29.  42
    A Completeness Proof in Full DDL.Krister Segerberg - 2001 - Logic and Logical Philosophy 9:77.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  80
    Towards an Exact Philosophy of Action.Krister Segerberg - 1984 - Topoi 3 (1):75-83.
  31.  49
    Applying Modal Logic.Krister Segerberg - 1980 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  31
    A Note on an Impossibility Theorem of Gardenfors.Krister Segerberg - 1989 - Noûs 23 (3):351-354.
  33.  47
    The Logic of Deliberate Action.Krister Segerberg - 1982 - Journal of Philosophical Logic 11 (2):233 - 254.
  34. Moore Problems in Full Dynamic Doxastic Logic.Krister Segerberg - 2006 - 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, (...)
     
    Export citation  
     
    Bookmark   3 citations  
  35.  73
    Routines.Krister Segerberg - 1985 - Synthese 65 (2):185 - 210.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  57
    Some Modal Logics Based on a Three-Valued Logic.Krister Segerberg - 1967 - Theoria 33 (1):53-71.
  37.  25
    Richard T. Garner and Bernard Rosen. A Systematic Introduction to Normative Ethics and Meta-Ethics. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, Xiv + 367 Pp. [REVIEW]Krister Segerberg - 1970 - Journal of Symbolic Logic 35 (3):459.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  45
    A Neglected Family of Aggregation Problems in Ethics.Krister Segerberg - 1976 - Noûs 10 (2):221-244.
  39.  60
    A Contribution to Nonsense-Logics.Krister Segerberg - 1965 - Theoria 31 (3):199-217.
  40.  19
    Blueprint for a Dynamic Deontic Logic.Krister Segerberg - 2009 - Journal of Applied Logic 7 (4):388-402.
  41.  36
    A Topological Logic of Action.Krister Segerberg - 1984 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42. On the Logic of Small Changes in Theories I.Krister Segerberg - forthcoming - Acta Philosophica Fennica.
     
    Export citation  
     
    Bookmark   1 citation  
  43.  47
    On the Logic of “To-Morrow”.Krister Segerberg - 1967 - Theoria 33 (1):45-52.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44.  93
    Some Completeness Theorems in the Dynamic Doxastic Logic of Iterated Belief Revision.Krister Segerberg - 2010 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  20
    Raymond L. Wilder. Introduction to the Foundations of Mathematics. Second Edition of XIX 225. John Wiley & Sons, Inc., New York, London, and Sydney, 1965, Xvi + 327 Pp. [REVIEW]Krister Segerberg - 1969 - Journal of Symbolic Logic 34 (2):310.
  46.  42
    Post Completeness and Ultrafilters.David Makinson & Krister Segerberg - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.
    A cardinality result in modal propositional logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  27
    Modal Logics with Functional Alternative Relations.Krister Segerberg - 1986 - Notre Dame Journal of Formal Logic 27 (4):504-522.
  48.  17
    Nicholas Rescher. Recent Developments and Trends in Logic. Logique Et Analyse, N.S. Vol. 9 , Pp. 269–279. - Yehoshua Bar-Hillel. A Neglected Recent Trend in Logic. Logique Et Analyse, N.S. Vol. 10 , Pp. 235–238. [REVIEW]Krister Segerberg - 1969 - Journal of Symbolic Logic 34 (3):500.
  49.  34
    Three Recipes for Revision.Krister Segerberg - 1996 - Theoria 62 (1-2):62-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2009 - Springer.
    The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 111