Order:
  1.  78
    On modal μ-calculus and non-well-founded set theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
    A finitary characterization for non-well-founded sets with finite transitive closure is established in terms of a greatest fixpoint formula of the modal μ-calculus. This generalizes the standard result in the literature where a finitary modal characterization is provided only for wellfounded sets with finite transitive closure. The proof relies on the concept of automaton, leading then to new interlinks between automata theory and non-well-founded sets.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2. Sequenzialità e concorrenza: alcune considerazioni critiche.Vincenzo Salipante - 2001 - Nuova Civiltà Delle Macchine 19 (1):148-155.
    No categories
     
    Export citation  
     
    Bookmark  
  3. David J. Anderson and Edward N. Zalta/Frege, Boolos, and Logical Objects 1–26 Michael Glanzberg/A Contextual-Hierarchical Approach to Truth and the Liar Paradox 27–88 James Hawthorne/Three Models of Sequential Belief Updat. [REVIEW]Max A. Freund, A. Modal Sortal Logic, R. Logic, Luca Alberucci, Vincenzo Salipante & On Modal - 2004 - Journal of Philosophical Logic 33:639-640.
     
    Export citation  
     
    Bookmark   1 citation