Krister Segerberg

According to our database, Krister Segerberg authored at least 32 papers between 1972 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Strategies for Belief Revision.

Krister Segerberg

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

DΔL: a dynamic deontic logic.

Krister Segerberg

Synth., 2012

2011

A Modal Logic of Metaphor.

Krister Segerberg

Stud Logica, 2011

In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic.

Krister Segerberg

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010

Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief Revision.

Krister Segerberg

Rev. Symb. Log., 2010

2009

Blueprint for a dynamic deontic logic.

Krister Segerberg

J. Appl. Log., 2009

2007

Dynamic doxastic logic: why, how, and where to?

Hannes Leitgeb, Krister Segerberg

Synth., 2007

A blueprint for deontic logic in three (not necessarily easy) steps.

Krister Segerberg

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Modal logic and philosophy.

Sten Lindström, Krister Segerberg

Proceedings of the Handbook of Modal Logic., 2007

2000

Outline of a Logic of Action.

Krister Segerberg

Proceedings of the Advances in Modal Logic 3, 2000

1998

Irrevocable Belief Revision in Dynamic Doxastic Logic.

Krister Segerberg

Notre Dame J. Formal Log., 1998

The Origins of Modern Modal Logic.

Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing

Proceedings of the Advances in Modal Logic 2, 1998

1997

Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz.

Krister Segerberg

Fundam. Informaticae, 1997

1996

Modal Logics in the Vicinity of S1.

Brian F. Chellas, Krister Segerberg

Notre Dame J. Formal Log., 1996

The Delta Operator at Three Levels of Analysis.

Krister Segerberg

Proceedings of the Logic, Action, and Information, 1996

1995

Belief Revision From the Point of View of Doxastic Logic.

Krister Segerberg

Log. J. IGPL, 1995

1994

A model existence theorem in infinitary propositional modal logic.

Krister Segerberg

J. Philos. Log., 1994

Modal logics with the Macintosh rule.

Brian F. Chellas, Krister Segerberg

J. Philos. Log., 1994

Actual Truth, Possible Knowledge.

Wlodzimierz Rabinowicz, Krister Segerberg

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

1992

Action Incompleteness.

Krister Segerberg

Stud Logica, 1992

Getting started: Beginnings in the Logic of Action.

Krister Segerberg

Stud Logica, 1992

1990

Validity and Satisfaction in Imperative Logic.

Krister Segerberg

Notre Dame J. Formal Log., 1990

1989

Notes on conditional logic.

Krister Segerberg

Stud Logica, 1989

Bringing it about.

Krister Segerberg

J. Philos. Log., 1989

1988

Talking about actions.

Krister Segerberg

Stud Logica, 1988

Meeting of the Association for Symbolic Logic: Auckland, 1986.

Krister Segerberg

J. Symb. Log., 1988

1986

Modal logics with functional alternative relations.

Krister Segerberg

Notre Dame J. Formal Log., 1986

1983

Arbitrary Truth-Value Functions and Natural Deduction.

Krister Segerberg

Math. Log. Q., 1983

1982

The logic of deliberate action.

Krister Segerberg

J. Philos. Log., 1982

1976

The Truth about Some Post Numbers.

Krister Segerberg

J. Symb. Log., 1976

1973

Two-dimensional modal logic.

Krister Segerberg

J. Philos. Log., 1973

1972

Post Completeness in Modal Logic.

Krister Segerberg

J. Symb. Log., 1972