-
Using the isomorphism from Bezhanishvili et al. 2010 between the category Pries of Priestley spaces and the category PStone of pairwise Stone spaces we construct a Vietoris hyperspace functor on the category PStone related to the Vietoris hyperspace functor on the category Pries from Bezhanishvil...
-
In the setting of concurrency theory, Joyal, Winskel and Nielsen introduced a general notion of path bisimulation and showed that path bisimulations can be characterized as spans of open maps between presheaves. A modal logic for presheaves, called path logic, was shown to be expressive for such ...
-
We give a general definition of bisimulation for conditional modalities interpreted on selection functions and prove the correspondence between bisimilarity and modal equivalence. We describe how this framework specializes to unary modalities and further investigate the operators and semantics to...
-
In this paper we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Formally, we build further on Dung's argumentation framework in Dung (1995). We start by introducing a logic to reason about binary arguments which are either in favor or agai...
-
In 1935 and 1936 Johansson and Heyting exchanged a series of letters. This exchange inspired Johansson to develop his minimal logic which he ultimately published in an article in 1937. This report summarises Johansson's article and letters, and discusses a number of interesting details of the let...
-
These lecture notes cover classical model-theoretic results about modal logic over both models and frames, as developed up to about 1980. They also cover algebraic perspectives on modal logic, and the interplay of model-theoretic and algebraic techniques. Finally, they include some modern themes ...
-
In constructive mathematics, equivalences of various properties of cofinite subsets of natural numbers can no longer be proven. In this report, a number of these properties are investigated for subsets of natural numbers as well as binary relations on natural numbers.
-
The apparent inconsistency of subjects’ answers in logical reasoning tasks, along with the fact that these answers do not comply with those predicted by classical logic, has been used to argue that human reasoning can not be described adequately by any logical formalism. In particular, Byrne devi...
-
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.