Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Search

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

40 results

Page 1 of 2

  • SAUL KRIPKE (1940–2022)

  • SERGEI ARTEMOV, JOHN P. BURGESS, MELVIN FITTING, ANANDI HATTIANGADI
  • Journal:
    Bulletin of Symbolic Logic / Volume 30 / Issue 3 / September 2024
    Published online by Cambridge University Press:
    21 January 2025, pp. 433-442
    Print publication:
    September 2024
    • Article
      • You have access
    • PDF
    • HTML
    • Export citation

  • Saul Aaron Kripke, the most influential philosopher and logician of his generation, died on September 15, 2022, at the age of 81.

Justification Logic
  • Reasoning with Reasons
  • Sergei Artemov, Melvin Fitting
  • Published online:
    25 April 2019
    Print publication:
    02 May 2019
  • Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.

  • Interpolation for first order S5

  • Melvin Fitting
  • Journal:
    The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
    Published online by Cambridge University Press:
    12 March 2014, pp. 621-634
    Print publication:
    June 2002

  • An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first order S5 interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

Page 1 of 2