Michael L. Tiomkin

According to our database, Michael L. Tiomkin authored at least 14 papers between 1983 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

A sequent calculus for a logic of contingencies.

Michael L. Tiomkin

J. Appl. Log., 2013

2007

The Modal Logic of Cluster-Decomposable Kripke Interpretations.

Michael Kaminski, Michael L. Tiomkin

Notre Dame J. Formal Log., 2007

1998

Extensions for Open Default Theories via the Domain Closure Assumption.

Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin

J. Log. Comput., 1998

1996

The Expressive Power of Second-Order Propositional Modal Logic.

Michael Kaminski, Michael L. Tiomkin

Notre Dame J. Formal Log., 1996

1995

Semantical Analysis of Logic of Actions.

Michael L. Tiomkin, Michael Kaminski

J. Log. Comput., 1995

1991

Decidability of Finite Probablistic Propositional Dynamic Logics

Michael L. Tiomkin, Johann A. Makowsky

Inf. Comput., October, 1991

Nonmonotonic Default Modal Logics.

Michael L. Tiomkin, Michael Kaminski

J. ACM, 1991

A knowledge representation language for university requirements.

Martin Charles Golumbic, Moshe Markovich, Michael L. Tiomkin

Decis. Support Syst., 1991

1990

Finite and Circular Path Models for Branching Time Logics.

Michael Kaminski, Michael L. Tiomkin

J. Log. Comput., 1990

1989

Probabilistic Termination Versus Fair Termination.

Michael L. Tiomkin

Theor. Comput. Sci., 1989

1988

Proving unprovability

Michael L. Tiomkin

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1985

Propositional Dynamic Logic with Local Assignments.

Michael L. Tiomkin, Johann A. Makowsky

Theor. Comput. Sci., 1985

An environment for logic programming.

Nissim Francez, Shalom Goldenberg, Ron Y. Pinter, Michael L. Tiomkin, Shalom Tsur

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

1983

Extensions of propositional dynamic logic : propositional dynamic logic with local assignments; propositional probabilistic dynamic logic.

Michael L. Tiomkin

PhD thesis, 1983