Extensions of propositional dynamic logic : propositional dynamic logic with local assignments; propositional probabilistic dynamic logic. - Michael L. Tiomkin (1983)

An environment for logic programming. - Nissim Francez; Shalom Goldenberg; Ron Y. Pinter; Michael L. Tiomkin; Shalom Tsur (SLIPE, 1985)

Propositional Dynamic Logic with Local Assignments. - Michael L. Tiomkin; Johann A. Makowsky (Theor. Comput. Sci., 1985)

Proving unprovability - Michael L. Tiomkin (LICS, 1988)

Probabilistic Termination Versus Fair Termination. - Michael L. Tiomkin (Theor. Comput. Sci., 1989)

Finite and Circular Path Models for Branching Time Logics. - Michael Kaminski; Michael L. Tiomkin (J. Log. Comput., 1990)

A knowledge representation language for university requirements. - Martin Charles Golumbic; Moshe Markovich; Michael L. Tiomkin (Decis. Support Syst., 1991)

Nonmonotonic Default Modal Logics. - Michael L. Tiomkin; Michael Kaminski (J. ACM, 1991)

Decidability of Finite Probablistic Propositional Dynamic Logics - Michael L. Tiomkin; Johann A. Makowsky (Inf. Comput., 1991)

Semantical Analysis of Logic of Actions. - Michael L. Tiomkin; Michael Kaminski (J. Log. Comput., 1995)

The Expressive Power of Second-Order Propositional Modal Logic. - Michael Kaminski; Michael L. Tiomkin (Notre Dame J. Formal Log., 1996)

Extensions for Open Default Theories via the Domain Closure Assumption. - Michael Kaminski; Johann A. Makowsky; Michael L. Tiomkin (J. Log. Comput., 1998)

The Modal Logic of Cluster-Decomposable Kripke Interpretations. - Michael Kaminski; Michael L. Tiomkin (Notre Dame J. Formal Log., 2007)

A sequent calculus for a logic of contingencies. - Michael L. Tiomkin (J. Appl. Log., 2013)