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.
I was an editor of
and currently on the editorial boards of
and on the advisory board of