Michael L. Tiomkin

16 papers A* 1B 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2013 J jnl
A sequent calculus for a logic of contingencies.
J. Appl. Log.
Michael L. Tiomkin
2007 J jnl
The Modal Logic of Cluster-Decomposable Kripke Interpretations.
Notre Dame J. Formal Log.
Michael Kaminski, Michael L. Tiomkin
1998 J jnl
Extensions for Open Default Theories via the Domain Closure Assumption.
J. Log. Comput.
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
1996 B conf
Extensions for Open Default Theories via the Domain Closure Assumption.
JELIA
Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin
1996 J jnl
The Expressive Power of Second-Order Propositional Modal Logic.
Notre Dame J. Formal Log.
Michael Kaminski, Michael L. Tiomkin
1995 J jnl
Semantical Analysis of Logic of Actions.
J. Log. Comput.
Michael L. Tiomkin, Michael Kaminski
1991 J jnl
A knowledge representation language for university requirements.
Decis. Support Syst.
Martin Charles Golumbic, Moshe Markovich, Michael L. Tiomkin
1991 J jnl
Decidability of Finite Probablistic Propositional Dynamic Logics
Inf. Comput.
Michael L. Tiomkin, Johann A. Makowsky
1991 J jnl
Nonmonotonic Default Modal Logics.
J. ACM
Michael L. Tiomkin, Michael Kaminski
1990 J jnl
Finite and Circular Path Models for Branching Time Logics.
J. Log. Comput.
Michael Kaminski, Michael L. Tiomkin
1990 B conf
Nonmonotonic Default Modal Logics.
TARK
Michael L. Tiomkin, Michael Kaminski
1989 J jnl
Probabilistic Termination Versus Fair Termination.
Theor. Comput. Sci.
Michael L. Tiomkin
1988 A* conf
Proving unprovability
LICS
Michael L. Tiomkin
1985 — conf
An environment for logic programming.
SLIPE
Nissim Francez, Shalom Goldenberg, Ron Y. Pinter, Michael L. Tiomkin, Shalom Tsur
1985 J jnl
Propositional Dynamic Logic with Local Assignments.
Theor. Comput. Sci.
Michael L. Tiomkin, Johann A. Makowsky
1983 — —
Extensions of propositional dynamic logic : propositional dynamic logic with local assignments; propositional probabilistic dynamic logic.
Michael L. Tiomkin