We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:

Search Results

Showing 1-3 of 3 results
  1. Introduction

    Raymond Smullyan was born in 1919, after the Great War and before the Great Depression. I have known him since I was a graduate student and he was my...
    Chapter 2017
  2. Dance of the Starlings

    In this birdwatching paper our binoculars are focused upon a particular bird from Smullyan’s enchanted forest of combinatory birds (Smullyan in To...
    Henk Barendregt, Jörg Endrullis, ... Johannes Waldmann in Raymond Smullyan on Self Reference
    Chapter 2017
  3. Logical Frameworks

    One way to define a logic is to specify a language and a deductive system. For example, the language of first-order logic consists of the syntactic...
    David Basin, Seán Matthews in Handbook of Philosophical Logic
    Chapter 2002
Did you find what you were looking for? Share feedback.