Order:
Disambiguations
Giovanni Cinà [3]Giuseppe Ciná [1]G. Cinà [1]
  1.  29
    Bisimulation for Conditional Modalities.A. Baltag & G. Cinà - 2018 - Studia Logica 106 (1):1-33.
    We give a definition of bisimulation for conditional modalities interpreted on selection functions and prove the correspondence between bisimilarity and modal equivalence, generalizing the Hennessy–Milner Theorem to a wide class of conditional operators. We further investigate the operators and semantics to which these results apply. First, we show how to derive a solid notion of bisimulation for conditional belief, behaving as desired both on plausibility models and on evidence models. These novel definitions of bisimulations are exploited in a series of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Bagdad y el riesgo de una reconstrucción inapropiada.Giuseppe Ciná - 2006 - Polis 9 (9):22-29.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark