Order:
  1. A Uniform Tableau Method for Intuitionistic Modal Logics I.Giambattista Amati & Fiora Pirri - 1994 - Studia Logica 53 (1):29 - 60.
  2. Intuitionistic Autoepistemic Logic.Luigia Aiello, Giambattista Amati, Fiora Pirri & Fondazione Ugo Bordoni - 1997 - Studia Logica 59.
     
    Export citation  
     
    Bookmark  
  3.  54
    Intuitionistic Autoepistemic Logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - 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 (5 more)  
     
    Export citation  
     
    Bookmark