Krister Segerberg - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2012

DΔL: a dynamic deontic logicKrister Segerberg. synthese, 185(Supplement-1):1-17, 2012. [doi]

Strategies for Belief RevisionKrister Segerberg. In Jan van Eijck, Rineke Verbrugge, editors, Games, Actions and Social Software - Multidisciplinary Aspects. Volume 7010 of Lecture Notes in Computer Science, pages 73-95, Springer, 2012. [doi]

2011

In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic LogicKrister Segerberg. In Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, pages 217-227, Springer, 2011. [doi]

A Modal Logic of MetaphorKrister Segerberg. sLogica, 99(1-3):337-347, 2011. [doi]

2010

Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief RevisionKrister Segerberg. rsl, 3(2):228-246, 2010. [doi]

2009

Blueprint for a dynamic deontic logicKrister Segerberg. japll, 7(4):388-402, 2009. [doi]

2007

Dynamic doxastic logic: why, how, and where to?Hannes Leitgeb, Krister Segerberg. synthese, 155(2):167-190, 2007. [doi]

Modal logic and philosophySten Lindström, Krister Segerberg. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 1149-1214, North-Holland, 2007. [doi]

A blueprint for deontic logic in three (not necessarily easy) stepsKrister Segerberg. Dagstuhl 2007: [doi]

2000

Outline of a Logic of ActionKrister Segerberg. aiml 2002: 365-387

1998

Irrevocable Belief Revision in Dynamic Doxastic LogicKrister Segerberg. ndjfl, 39(3):287-306, 1998.

The Origins of Modern Modal LogicMichael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing. aiml 2000:

1997

Proposal for a Theory of Belief Revision Along the Lines of Lindström and RabinowiczKrister Segerberg. FUIN, 32(2):183-191, 1997.

1996

Modal Logics in the Vicinity of S1Brian F. Chellas, Krister Segerberg. ndjfl, 37(1):1-24, 1996.

The Delta Operator at Three Levels of AnalysisKrister Segerberg. flairs 1996: 63-78

1995

Belief Revision From the Point of View of Doxastic LogicKrister Segerberg. igpl, 3(4):535-553, 1995. [doi]

1994

Modal logics with the Macintosh ruleBrian F. Chellas, Krister Segerberg. jphil, 23(1):67-86, 1994. [doi]

Actual Truth, Possible KnowledgeWlodzimierz Rabinowicz, Krister Segerberg. tark 1994: 122-137

A model existence theorem in infinitary propositional modal logicKrister Segerberg. jphil, 23(4):337-367, 1994. [doi]

1992

Action IncompletenessKrister Segerberg. sLogica, 51(3/4):533-550, 1992.

Getting started: Beginnings in the Logic of ActionKrister Segerberg. sLogica, 51(3/4):347-378, 1992.

1990

Validity and Satisfaction in Imperative LogicKrister Segerberg. ndjfl, 31(2):203-221, 1990.

1989

Bringing it aboutKrister Segerberg. jphil, 18(4):327-347, 1989. [doi]

Notes on conditional logicKrister Segerberg. sLogica, 48(2):157-168, 1989. [doi]

1988

Meeting of the Association for Symbolic Logic: Auckland, 1986Krister Segerberg. JSYML, 53(1):330-334, 1988.

Talking about actionsKrister Segerberg. sLogica, 47(4):347-352, 1988. [doi]

1986

Modal logics with functional alternative relationsKrister Segerberg. ndjfl, 27(4):504-522, 1986. [doi]

1983

Arbitrary Truth-Value Functions and Natural DeductionKrister Segerberg. mlq, 29(11):557-564, 1983. [doi]

1982

The logic of deliberate actionKrister Segerberg. jphil, 11(2):233-254, 1982. [doi]

1976

The Truth about Some Post NumbersKrister Segerberg. JSYML, 41(1):239-244, 1976.

1973

Two-dimensional modal logicKrister Segerberg. jphil, 2(1):77-96, 1973. [doi]

1972

Post Completeness in Modal LogicKrister Segerberg. JSYML, 37(4):711-715, 1972.

Sign in or sign up to see more results.

runs on WebDSL