# Dexter Kozen

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Logic and Program Semantics
- 2012

I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was alreadyâ€¦Â (More)

Is this relevant?

Review

2012

Review

2012

- Logic and Program Semantics
- 2012

An undirected graph G = (V,E) is (d, k)-colorable if there is a vertex coloring using at most k colors such that no two verticesâ€¦Â (More)

Is this relevant?

2012

2012

- Logic and Program Semantics
- 2012

This is a somewhat non-standard piece about Dexter Kozen, longtime colleague and friend. I am sure that the praise of Dexterâ€™sâ€¦Â (More)

Is this relevant?

2009

2009

- ICALP
- 2009

We take a dual view of Markov processes â€“ advocated by Kozen â€“ as transformers of bounded measurable functions. We redevelop theâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Theor. Comput. Sci.
- 2004

The notion of process equivalence of probabilistic processes is sensitive to the exact probabilities of transitions. Thus, aâ€¦Â (More)

Is this relevant?

1999

1999

- Distributed Computing
- 1999

The contribution of the paper is two-fold. We give a set of properties expressible as temporal logic formulas such that anyâ€¦Â (More)

Is this relevant?

1995

1995

- LICS
- 1995

The propositional Ã¬-calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question aboutâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- MFCS
- 1995

The propositional Î¼-calculus as introduced by Kozen in [4] is considered. The notion of disjunctive formula is defined and it isâ€¦Â (More)

Is this relevant?

1995

1995

- Theor. Comput. Sci.
- 1995

We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotoneâ€¦Â (More)

Is this relevant?

1991

1991

- 1991

Smullyan's notion of eeectively inseparable pairs of sets is not the best eeec-tive/constructive analog of Kleene's notion ofâ€¦Â (More)

Is this relevant?