-
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...
-
This paper discusses non-indicative uses of indicative sentences. So-called declarative uses are argued to resist an analysis that is based on the idea of there being an underlying proposition, a traditional assumption in linguistics and philosophy. It ia argued that certain types of evaluative o...
-
In today's digitalised society, encryption plays a crucial role in securing sensitive data. However, the looming threat of quantum computers capable of breaking current encryption methods poses a significant cybersecurity risk, known as the "cryptopocalypse" or Q-Day. This paper examines the ethi...
-
This paper presents a Modal Predicate Logic with conceptually restricted quantification. It provides a framework for the modeling of a variety of de re modalities and knowing who reports in a realist and literally transparent way. The framework also allows us to make proper sense of talk about th...