`Travelled to:`

1 × Belgium

1 × Israel

1 × USA

`Collaborated with:`

E.A.Emerson ∅ A.R.Meyer G.Mirkowska

`Talks about:`

proposit (3) logic (2) dynam (2) elementari (1) calculus (1) problem (1) convers (1) deduc (1) loop (1)

## Person: Robert S. Streett

### DBLP: Streett:Robert_S=

### Contributed to:

### Wrote 3 papers:

- ICALP-1984-StreettE #calculus #μ-calculus
- The Propositional μ-Calculus is Elementary (RSS, EAE), pp. 465–472.
- ICALP-1981-MeyerSM #deduction #logic #problem
- The Deducibility Problem in Propositional Dynamic Logic (ARM, RSS, GM), pp. 238–248.
- STOC-1981-Streett #logic
- Propositional Dynamic Logic of Looping and Converse (RSS), pp. 375–383.