#### Filter Results:

- Full text PDF available (9)

#### Publication Year

1989

2012

- This year (0)
- Last 5 years (1)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Sten Lindström, Wlodzimierz Rabinowicz
- The Logic of Theory Change
- 1989

- Sten Lindström
- 2002

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premisses. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection… (More)

- Sten Lindström, Wlodzimierz Rabinowicz
- J. Philosophical Logic
- 1989

- Sten Lindström
- Logic, Action, and Information
- 1996

Working within the AGM approach, Peter Gärdenfors has proved that — given certain auxiliary assumptions — there are no non-trivial belief revision systems that satisfy both the Ramsey test and the Preservation condition. There are various ways of reacting to Gärdenfors' paradoxical result. Gärdenfors himself has described his result as a dilemma: we must… (More)

- Peter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz
- The Logic of Theory Change
- 1989

- Sten Lindström
- Acta chemica Scandinavica
- 1995

2-Amino-1-methyl-6-phenylimidazo[4,5-b]pyridine has been prepared in 26% yield from 3-amino-2-phenylpropenal and creatinine which were heated with N,O-bis(trimethylsilyl)acetamide at 120 degrees C for 2 h. Under certain other conditions, the main product was a pyrimidine derivative.

- Peter Aczel, Mark van Atten, +19 authors Jouko A. Väänänen
- 2009

Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension… (More)

- Sten Lindström
- 2002

In this paper I discuss a paradox, due to David Kaplan, that in his view threatens the use of possible worlds semantics as a model-theoretic framework for intensional logic.1 Kaplan’s paradox starts out from an intuitively reasonable principle that I refer to as the Principle of Plenitude. From this principle he derives a contradiction in what he calls… (More)

- Jonas Nilsson, Sten Lindström
- Belief Revision meets Philosophy of Science
- 2011

- Sten Lindström
- 2003

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the socalled Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of… (More)