This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

13 found
Order:
  1. added 2020-05-26
    Non-Well-Founded Derivations in the Gödel-Löb Provability Logic.Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-22.
    We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-05-25
    The Logic of Turing Progressions.Eduardo Hermo Reyes & Joost J. Joosten - 2020 - Notre Dame Journal of Formal Logic 61 (1):155-180.
    Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that hold between these different Turing progressions given a particular set of natural consistency notions. Thus, the presented logic is proven to be arithmetically sound and complete for a natural interpretation, named the formalized Turing progressions interpretation.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2019-07-04
    Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2019-03-29
    Provability Logics for Relative Interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
    In this paper the system IL for relative interpretability is studied.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. added 2018-02-17
    Can a Turing Machine Know That the Gödel Sentence is True?Storrs McCall - 1999 - Journal of Philosophy 96 (10):525-532.
  6. added 2017-01-13
    The Logic of Provability.George S. Boolos - 1993 - Cambridge University Press.
    This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  7. added 2014-12-21
    Johdatus modaalilogiikkaan.Veikko Rantala & Ari Virtanen - 2004 - Gaudeamus.
    The book studies philosophical and mathematical-logical problems of modal notions. Its starting points are possible worlds semantics and Kripke models, and it also concentrates on proof-theoretic methods.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2014-03-22
    The Knower Paradox in the Light of Provability Interpretations of Modal Logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
    This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9. added 2011-06-13
    On Strong Provability Predicates and the Associated Modal Logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
    PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  10. added 2011-06-13
    The Modal Logic of Pure Provability.Samuel R. Buss - 1990 - Notre Dame Journal of Formal Logic 31 (2):225-231.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. added 2011-06-13
    On Modal Systems Having Arithmetical Interpretations.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (3):935-942.
  12. added 2011-06-13
    On Systems of Modal Logic with Provability Interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13. added 2011-06-13
    Provability, Truth, and Modal Logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations