Switch to: References

Citations of:

Provability in Logic

Philosophical Quarterly 10 (41):376-376 (1960)

Add citations

You must login to add citations.
  1. Actualism and Modal Semantics.José L. Zalabardo - 2018 - Acta Analytica 33 (1):35-49.
    According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree with each other even if they agree on which valuations are contained in modal reality. According to actualism, these disagreements (possibilist disagreements) are completely unintelligible. An essentially actualist semantics for modal propositional (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reference, Context, and Propositions.Kai-Yee Wong - 1990 - Dissertation, Australian National University
    The main chapters of this thesis develop and defend a version of two-dimensional semantics that provides an account of Kripkean a posteriori necessity.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Syntactical and semantical properties of simple type theory.Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Hypersequent Calculi for S5: The Methods of Cut Elimination.Kaja Bednarska & Andrzej Indrzejczak - 2015 - Logic and Logical Philosophy 24 (3):277–311.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Dordrecht, Netherland: Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Subformula theorems for n-sequents.Hugues Leblanc - 1968 - Journal of Symbolic Logic 33 (2):161-179.
    Download  
     
    Export citation  
     
    Bookmark