## PhD. Students

*Set Theoretic Representations of Form Systems and Elementary Universes.*

Address: Indiana University Mathematics Department.

*Deductive Systems and Grammars: Proofs as Grammatical Structures*.

Address: Department of Mathematics and Computer Science, Illinois Wesleyan University.

*Logic and Inference in State Spaces.*

Address: Departamento de Matemáticas, Universidad de los Andes, Bogota, Colombia.

*Equational Logic of Recursive Program Schemes.*

Address: Math Department, Xavier University, New Orleans, Louisiana.

*Message Dependence and Formal Verification of Authentication Protocols.*

Address: Computer Science Department, Fisk University, Tennessee.

*Modal Logic of Partitions.*

Addresses: Division for International Research and Educational Cooperation, Graduate School of Science, Tohoku University, Japan.

*Coalgebras on Measurable Spaces*.

Address: Departamento de Matematica, Universidad Nacional de Sur, Argentina.

*Probabilistic Reasoning on Metric Spaces.*

Address: Hedge Fund of Fidelity, Boston.

*Adding Temporal Logic to Dynamic Epistemic Logic.*

*A Complete Deductive Probabilistic Logic with Applications to Harsanyi Type Spaces.*

Address: Renmin University, China.

*Topological Presentation of Canonicity for Varieties of Modal Algebras*.

Address: Indiana University Department of Psychological and Brain Sciences.

*Higher-order Algebras and Coalgebras.*

Address: ProCare, Bloomington, IN.

## Journals

## I was an editor of

and currently on the editorial boards of

and on the advisory board of

## Invited talks

## Program Committees

## Music

##

I play the fiddle in:

The Maxwell Rovers (contra dance band: Irish and Old-Time).
The Pirate Flags (don't ask).
A youtube of the Pirate Flags playing
*The Ballad of John Silver* can be found
here.
The Hunted Haunted Bazhergan
Klezmorchestra.

I play the fiddle in:

*The Ballad of John Silver*can be found here.