-
This is a short note written after attending a spring seminar taught by Kit Fine at Stanford, looking at some of the material presented there from the standpoint of a modal logician. I provide a faithful translation from propositional
truth maker logic into an earlier modal logic of information
...
-
In recent years, discussions of supertasks involved a particular class of physical models known as Malament-Hogarth spacetimes. One might wonder – what is the role of physical models in the philosophical discussion of supertasks? Why Malament-Hogarth spacetimes in particular? In this paper we tra...
-
Lists of Corrections to several publications of A.S. Troelstra:
Constructivism in Mathematics (book), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (book), Basic Proof Theory (book), Chapter VI (Realizability) of S. Buss, Handbook of Proof Theory.
-
In this article, we start with a two-player game that models communication under adverse circumstances in everyday life and study it from the perspective of a modal logic of graphs, where links can be deleted locally according to definitions available to the adversarial player. We first introduce...
-
Content description of scientific archive over the period 1961-2017, deposited in Noord-Hollands Archief Haarlem, October 2017. Website with electronic inventory and further information: https://noord-hollandsarchief.nl/english/where-to-find-us. General description of logic archives in Haarlem: h...
-
In this report, we summarize Peter Aczel’s papers on the interpretation of constructive ZF into Martin Löf type theory. We aim to modernize some of the presentation and unify the various constructions into a coherent whole.
-
This note describes a method for constructing Lyndon interpolants based on quasi-models and type elimination sequences. The same method was employed in [Benedikt et al., 2015] (using mosaics) to compute optimal-size Lyndon interpolants for formulas in the guarded-fragment and the guarded-negation...
-
-
-
-
Deze bibliografie kan worden beschouwd als een aanvulling op Staal 1965. Bij de voorliggende aanvulling is eveneens niet sprake van een uitputtende behandeling.Er is binnen het archief nog materiaal van hem, dat er naar uitziet als zijnde ooit uitgegeven, maar waar van door de bewerker nog niet h...