List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Extensions for open default theories via the domain closure assumption Logics in Artificial Intelligence | 2019-10-08 | Paper |
| A sequent calculus for a logic of contingencies Journal of Applied Logic | 2014-04-17 | Paper |
| The modal logic of cluster-decomposable Kripke interpretations Notre Dame Journal of Formal Logic | 2008-04-29 | Paper |
| Extensions for open default theories via the domain closure assumption Journal Of Logic And Computation | 1998-11-19 | Paper |
| The expressive power of second-order propositional modal logic Notre Dame Journal of Formal Logic | 1998-09-02 | Paper |
| Semantical Analysis of Logic of Actions Journal Of Logic And Computation | 1995-04-17 | Paper |
| Nonmonotonic default modal logics Journal of the ACM | 1994-11-13 | Paper |
| Finite and Circular Path Models for Branching Time Logics Journal Of Logic And Computation | 1990-01-01 | Paper |
| Probabilistic termination versus fair termination Theoretical Computer Science | 1989-01-01 | Paper |
Research outcomes over time
This page was built for person: Michael Tiomkin
