83 found
Sort by:
  1. Krister Segerberg (forthcoming). On the Logic of Small Changes in Theories I. Acta Philosophica Fennica.
    No categories
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Krister Segerberg (2012). Trying to Model Metaphor. In. In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications. 279--287.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. 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  
  6. 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  
  7. Krister Segerberg (2009). Foreword. In John Roscoe (ed.), The Picture Theory of Language: A Philosophical Investigation Into the Genesis of Meaning. Edwin Mellen Press.
    No categories
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. 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  
  10. 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. Krister Segerberg (2004). A Completeness Proof in Full DDL. Logic and Logical Philosophy 9:77.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. 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 to English
    |
     
    My bibliography  
     
    Export citation  
  14. 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.
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. 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  
  17. Krister Segerberg (1997). A Doxastic Walk with Darwiche and Pearl. Nordic Journal of Philosophical Logic 2 (1):63-66.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Krister Segerberg (1997). Irrevocable Revision. Bulletin of Symbolic Logic 3.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. Krister Segerberg (1996). A General Framework for the Logic of Theory Change. Bulletin of the Section of Logic 25:2-8.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Krister Segerberg (ed.) (1996). The Parikh Project. Seven Papers in Honour of Rohit. Uppsala Prints & Preprints in Philosophy.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  22. Krister Segerberg (1996). Three Recipes for Revision. Theoria 62 (1-2):62-73.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Krister Segerberg (1995). AGM as a Dynamic, Doxastic Logic. Bulletin of Symbolic Logic 1.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Krister Segerberg (1995). 1 Action by Cases. In G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.), Conditionals: From Philosophy to Computer Science. Oxford University Press. 5--241.
    No categories
     
    My bibliography  
     
    Export citation  
  25. Krister Segerberg (1995). Dynamic Logic. In Audi Robert (ed.), The Cambridge Dictionary of Philosophy. Cambridge University Press.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. 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  
  27. 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  
  28. Rabinowicz, Wlodzimierz & Krister Segerberg (1994). ``Actual Truth, Possible Knowledge&Quot. Topoi 13:101-115.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29. Krister Segerberg (1994). A Model Existence Theorem in Infinitary Propositional Modal Logic. Journal of Philosophical Logic 23 (4):337 - 367.
  30. Krister Segerberg (1993). Perspectives on Decisions. Proceedings of the Aristotelian Society 93:263 - 278.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. 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  
  32. 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  
  33. 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  
  34. Krister Segerberg (1989). A Note on an Impossibility Theorem of Gardenfors. Noûs 23 (3):351-354.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Krister Segerberg (1989). Bringing It About. Journal of Philosophical Logic 18 (4):327 - 347.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. 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  
  37. Krister Segerberg (1988). Meeting of the Association for Symbolic Logic: Auckland, 1986. Journal of Symbolic Logic 53 (1):330-334.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Krister Segerberg (1988). Talking About Actions. Studia Logica 47 (4):347 - 352.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Krister Segerberg (1986). Modal Logics with Functional Alternative Relations. Notre Dame Journal of Formal Logic 27 (4):504-522.
  40. Krister Segerberg (1985). Routines. Synthese 65 (2):185 - 210.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. 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  
  42. Krister Segerberg (1984). Towards an Exact Philosophy of Action. Topoi 3 (1):75-83.
  43. Krister Segerberg (1983). Arbitrary Truth-Value Functions and Natural Deduction. Mathematical Logic Quarterly 29 (11):557-564.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Krister Segerberg (1983). Could Have but Did Not. Pacific Philosophical Quarterly 64 (July):230-241.
  45. 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  
  46. Krister Segerberg (1982). Classical Propositional Operators: An Exercise in the Foundations of Logic. Oxford University Press.
     
    My bibliography  
     
    Export citation  
  47. Krister Segerberg (1982). The Logic of Deliberate Action. Journal of Philosophical Logic 11 (2):233 - 254.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Krister Segerberg (1981). Some Logics of Commitment and Obligation. In Risto Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings. Sold and Distributed in the U.S.A. And Canada by Kluwer Boston.
    No categories
     
    My bibliography  
     
    Export citation  
  49. 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  
  50. Krister Segerberg (1980). A Note on the Logic of Elsewhere. Theoria 46 (2-3):183-187.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 83