16 found
Sort by:
  1. Giovanna Corsi (forthcoming). Bf, Cbf and Lewis Semantics. Logique Et Analyse.
     
    My bibliography  
     
    Export citation  
  2. Giovanna Corsi & Eugenio Orlandelli (2013). Free Quantified Epistemic Logics. Studia Logica 101 (6):1159-1183.
    The paper presents an epistemic logic with quantification over agents of knowledge and with a syntactical distinction between de re and de dicto occurrences of terms. Knowledge de dicto is characterized as ‘knowledge that’, and knowlegde de re as ‘knowledge of’. Transition semantics turns out to be an adequate tool to account for the distinctions introduced.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Giovanna Corsi & Rossella Lupacchini (eds.) (2008). Deduction, Computation, Experiment. Exploring the Effectiveness of Proof. Springer.
    The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Giovanna Corsi & Gabriele Tassi (2007). Intuitionistic Logic Freed of All Metarules. Journal of Symbolic Logic 72 (4):1204 - 1218.
    In this paper we present two calculi for intuitionistic logic. The first one, IG, is characterized by the fact that every proof-search terminates and termination is reached without jeopardizing the subformula property. As to the second one, SIC, proof-search terminates, the subformula property is preserved and moreover proof-search is performed without any recourse to metarules, in particular there is no need to back-track. As a consequence, proof-search in the calculus SIC is accomplished by a single tree as in classical logic.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
    A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Giovanna Corsi (1999). Bull's Theorem by the Method of Diagrams. Studia Logica 62 (2):163-176.
    We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Giovanna Corsi (1997). Review. [REVIEW] British Journal for the Philosophy of Science 48 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Sun-Joo Shin & Giovanna Corsi (1997). The Logical Status of Diagrams. British Journal for the Philosophy of Science 48 (2).
     
    My bibliography  
     
    Export citation  
  9. Giovanna Corsi (1993). Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. Notre Dame Journal of Formal Logic 34 (2):263-283.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Giovanna Corsi (1992). Completeness Theorem for Dummett's LC Quantified and Some of its Extensions. Studia Logica 51 (2):317 - 335.
    Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q+, ,D, where Q+ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q+, Dv and if v w, then D v . D v D w . Moreover, simple completeness proofs of extensions of Q-LC are given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Giovanna Corsi (1989). A Cut‐Free Calculus For Dummett's LC Quantified. Mathematical Logic Quarterly 35 (4):289-301.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Giovanna Corsi (1989). A Logic Characterized by the Class of Connected Models with Nested Domains. Studia Logica 48 (1):15 - 22.
    The main aim of this paper is to introduce the logic QE-LC whose language contains the existence predicate E and which is characterized by the class of connected (Kripke) E-models with nested domains.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Giovanna Corsi & Silvio Ghilardi (1989). Directed Frames. Archive for Mathematical Logic 29 (1):53-67.
    Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Giovanna Corsi (1988). Quantified Modal Logic With Rigid Terms. Mathematical Logic Quarterly 34 (3):251-259.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Giovanna Corsi (1987). Weak Logics with Strict Implication. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 33 (5):389-406.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Giovanna Corsi (1986). Semantic Trees for Dummett's Logic LC. Studia Logica 45 (2):199-206.
    The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation