9 found
Sort by:
  1. Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
    We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Giovanna D'Agostino, Giacomo Lenzi & Tim French (2006). Μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics ★. Journal of Applied Non-Classical Logics 16 (3-4):297-309.
    We consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the ?-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Giovanna D'Agostino & Albert Visser (2002). Finality Regained: A Coalgebraic Study of Scott-Sets and Multisets. [REVIEW] Archive for Mathematical Logic 41 (3):267-298.
    In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially different universes of such sets. The unisets of the first universe will be shown to be precisely the sets of the Scott universe. The unisets of the second universe will be precisely the sets of the AFA-universe. We will have a closer look into the connection of the iterated circular multisets and arbitrary trees. RID=""ID="" Mathematics Subject Classification (2000): 03B45, 03E65, 03E70, 18A15, 18A22, (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Giovanna D'Agostino & Marco Hollenberg (2000). Logical Questions Concerning the Μ-Calculus: Interpolation, Lyndon and Los-Tarski. Journal of Symbolic Logic 65 (1):310-332.
  5. Johan Van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory: II. Studia Logica 60 (3):387 - 420.
    In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (3):387-420.
    In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Claudio Bernardi & Giovanna D'Agostino (1996). Translating the Hypergame Paradox: Remarks on the Set of Founded Elements of a Relation. [REVIEW] Journal of Philosophical Logic 25 (5):545 - 557.
    In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and construct (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Giovanna D'Agostino & Mario Magnago (1995). Complete, Recursively Enumerable Relations in Arithmetic. Mathematical Logic Quarterly 41 (1):65-72.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Giovanna D'Agostino (1994). Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories. Notre Dame Journal of Formal Logic 35 (4):563-572.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation