Michael Tiomkin

Available identifiers

zbMath Open tiomkin.michaelMaRDI QIDQ1822936

List of research outcomes

Publication	Date of Publication	Type
Extensions for open default theories via the domain closure assumption	2019-10-08	Paper
A sequent calculus for a logic of contingencies	2014-04-17	Paper
The modal logic of cluster-decomposable Kripke interpretations	2008-04-29	Paper
Extensions for open default theories via the domain closure assumption	1998-11-19	Paper
The expressive power of second-order propositional modal logic	1998-09-02	Paper
Semantical Analysis of Logic of Actions	1995-04-17	Paper
Nonmonotonic default modal logics	1994-11-13	Paper
Finite and Circular Path Models for Branching Time Logics	1990-01-01	Paper
Probabilistic termination versus fair termination	1989-01-01	Paper

Research outcomes over time

This page was built for person: Michael Tiomkin