Switch to: Citations

References in:

Reactive intuitionistic tableaux

Synthese 179 (2):253-269 (2011)

Add references

You must login to add references.
  1. Modal Logics of Reactive Frames.Dov M. Gabbay & Sérgio Marcelino - 2009 - Studia Logica 93 (2-3):405-446.
    A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was first applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One operator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations