#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1995

2006

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Kurt Engesser, Dov M. Gabbay
- Artif. Intell.
- 2002

- Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
- ArXiv
- 2005

In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties of such operators are justified on epistemological grounds. Commutation of measurements is a central topic of… (More)

- K Engesser, D M Gabbay, D Lehmann
- 2006

. The reason for including this chapter is to make the book as selfcontained as possible. It should in particular be accessible to physicists, who normally have no training in formal logic. We present the basics of classical propositional logic and non-monotonic logic. In fact, it is possible to provide the reader with all the logical equipment he needs in… (More)

- Kurt Engesser
- Math. Log. Q.
- 1995

- ‹
- 1
- ›