Krister Segerberg

33 papers B 4Journal 24Unranked 1

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	DΔL: a dynamic deontic logic. Synth. Krister Segerberg
2012	—	`ch.`	Strategies for Belief Revision. Games, Actions and Social Software Krister Segerberg
2011	J	`jnl`	A Modal Logic of Metaphor. Stud Logica Krister Segerberg
2011	—	`ch.`	In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic. Proof, Computation and Agency Krister Segerberg
2010	J	`jnl`	Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief Revision. Rev. Symb. Log. Krister Segerberg
2009	J	`jnl`	Blueprint for a dynamic deontic logic. J. Appl. Log. Krister Segerberg
2007	—	`conf`	A blueprint for deontic logic in three (not necessarily easy) steps. Formal Models of Belief Change in Rational Agents Krister Segerberg
2007	J	`jnl`	Dynamic doxastic logic: why, how, and where to? Synth. Hannes Leitgeb, Krister Segerberg
2007	—	`ch.`	Modal logic and philosophy. Handbook of Modal Logic Sten Lindström, Krister Segerberg
2000	B	`ed.`	Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998 Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
2000	B	`conf`	Outline of a Logic of Action. Advances in Modal Logic Krister Segerberg
1998	J	`jnl`	Irrevocable Belief Revision in Dynamic Doxastic Logic. Notre Dame J. Formal Log. Krister Segerberg
1998	B	`conf`	The Origins of Modern Modal Logic. Advances in Modal Logic Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
1997	J	`jnl`	Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz. Fundam. Informaticae Krister Segerberg
1996	J	`jnl`	Modal Logics in the Vicinity of S1. Notre Dame J. Formal Log. Brian F. Chellas, Krister Segerberg
1996	—	`ch.`	The Delta Operator at Three Levels of Analysis. Logic, Action, and Information Krister Segerberg
1995	J	`jnl`	Belief Revision From the Point of View of Doxastic Logic. Log. J. IGPL Krister Segerberg
1994	J	`jnl`	A model existence theorem in infinitary propositional modal logic. J. Philos. Log. Krister Segerberg
1994	B	`conf`	Actual Truth, Possible Knowledge. TARK Wlodzimierz Rabinowicz, Krister Segerberg
1994	J	`jnl`	Modal logics with the Macintosh rule. J. Philos. Log. Brian F. Chellas, Krister Segerberg
1992	J	`jnl`	Action Incompleteness. Stud Logica Krister Segerberg
1992	J	`jnl`	Getting started: Beginnings in the Logic of Action. Stud Logica Krister Segerberg
1990	J	`jnl`	Validity and Satisfaction in Imperative Logic. Notre Dame J. Formal Log. Krister Segerberg
1989	J	`jnl`	Bringing it about. J. Philos. Log. Krister Segerberg
1989	J	`jnl`	Notes on conditional logic. Stud Logica Krister Segerberg
1988	J	`jnl`	Meeting of the Association for Symbolic Logic: Auckland, 1986. J. Symb. Log. Krister Segerberg
1988	J	`jnl`	Talking about actions. Stud Logica Krister Segerberg
1986	J	`jnl`	Modal logics with functional alternative relations. Notre Dame J. Formal Log. Krister Segerberg
1983	J	`jnl`	Arbitrary Truth-Value Functions and Natural Deduction. Math. Log. Q. Krister Segerberg
1982	J	`jnl`	The logic of deliberate action. J. Philos. Log. Krister Segerberg
1976	J	`jnl`	The Truth about Some Post Numbers. J. Symb. Log. Krister Segerberg
1973	J	`jnl`	Two-dimensional modal logic. J. Philos. Log. Krister Segerberg
1972	J	`jnl`	Post Completeness in Modal Logic. J. Symb. Log. Krister Segerberg