Michael L. Tiomkin

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Natural Deduction

Sequent Calculus

Top Venues

Publications

Michael L. Tiomkin
A sequent calculus for a logic of contingencies. J. Appl. Log. 11 (4) (2013)
Michael Kaminski, Michael L. Tiomkin
The Modal Logic of Cluster-Decomposable Kripke Interpretations. Notre Dame J. Formal Log. 48 (4) (2007)
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
Extensions for Open Default Theories via the Domain Closure Assumption. J. Log. Comput. 8 (2) (1998)
Michael Kaminski, Michael L. Tiomkin
The Expressive Power of Second-Order Propositional Modal Logic. Notre Dame J. Formal Log. 37 (1) (1996)
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
Extensions for Open Default Theories via the Domain Closure Assumption. JELIA (1996)
Michael L. Tiomkin, Michael Kaminski
Semantical Analysis of Logic of Actions. J. Log. Comput. 5 (2) (1995)
Michael L. Tiomkin, Michael Kaminski
Nonmonotonic Default Modal Logics. J. ACM 38 (4) (1991)
Martin Charles Golumbic, Moshe Markovich, Michael L. Tiomkin
A knowledge representation language for university requirements. Decis. Support Syst. 7 (1) (1991)
Michael L. Tiomkin, Johann A. Makowsky
Decidability of Finite Probablistic Propositional Dynamic Logics Inf. Comput. 94 (2) (1991)
Michael Kaminski, Michael L. Tiomkin
Finite and Circular Path Models for Branching Time Logics. J. Log. Comput. 1 (1) (1990)
Michael L. Tiomkin, Michael Kaminski
Nonmonotonic Default Modal Logics. TARK (1990)
Michael L. Tiomkin
Probabilistic Termination Versus Fair Termination. Theor. Comput. Sci. 66 (3) (1989)
Michael L. Tiomkin
Proving unprovability LICS (1988)
Nissim Francez, Shalom Goldenberg, Ron Y. Pinter, Michael L. Tiomkin, Shalom Tsur
An environment for logic programming. ACM SIGPLAN Notices 20 (7) (1985)
Michael L. Tiomkin, Johann A. Makowsky
Propositional Dynamic Logic with Local Assignments. Theor. Comput. Sci. 36 (1985)