Works by Michael Tiomkin

( view other items matching `Michael Tiomkin`, view all matches )
Order:
  1.  25
    The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
    It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  9
    A sequent calculus for a logic of contingencies.Michael Tiomkin - 2013 - Journal of Applied Logic 11 (4):530-535.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  15
    The Modal Logic of Cluster-Decomposable Kripke Interpretations.Michael Tiomkin & Michael Kaminski - 2007 - Notre Dame Journal of Formal Logic 48 (4):511-520.
    We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation