5 found
Sort by:
  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. Dov Gabbay & Fiora Pirri (1997). Introduction. Studia Logica 59 (2):147-148.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri (1994). Defaults as Restrictions on Classical Hilbert-Style Proofs. Journal of Logic, Language and Information 3 (4):303-326.
    Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation