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.
    We present tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi. We then show the disjunction property for IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 and IS5. We (...)
    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