1. Luigia Aiello, Giambattista Amati, Fiora Pirri & Fondazione Ugo Bordoni (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
    In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Giambattista Amati & Fiora Pirri (1994). A Uniform Tableau Method for Intuitionistic Modal Logics I. Studia Logica 53 (1):29 - 60.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation