-
For every Kripke complete modal logic L we define its hybrid
companion L_H. For a reasonable class of logics, we present a
satisfiability-preserving translation from L_H to L. We prove
that for this class of logics, complexity, (uniform) interpolation,
finite axiomatization transfer from L to L_H.
-
Gupta-Belnap-style circular definitions use all real numbers as
possible starting points of revision sequences. In that sense they are
boldface definitions. We discuss lightface versions of circular
definitions and boldface versions of inductive definitions.
-
The relation between music and motion has been a topic of much
theoretical and empirical research. An important contribution is made
by a family of computational theories, so-called kinematic models,
that make an explicit relation between the laws of physical motion in
the real world and express...
-
Wiskunde en muziekcognitie lijken twee vakgebieden die mijlenver uit
elkaar liggen. Maar zonder wiskunde zou het onmogelijk zijn cognitieve
theoriek over muziek te onderbouwen, te vergelijken, verifieren of
falsificeren. Dit wordt betoogt in een fictieve vertelling gebaseerd
op ware feiten, met v...
-
We give upper and lower bounds for the length of the Full Hierarchy of Norms.
-
Extending results of Fraenkel, we give an algorithm that determines the value of asymmetric combinatorial games on (possibly cyclic) graphs
-
Concept Formation, Remembering, and Understanding:
Dynamic Conceptual Semantics and Proust's "A la Recherche du Temps Perdu"
Renate Bartsch
Abstract:
This study presents a theory of memory and remembrance, which is a
further explication of the theory of Dynamic Conceptual Semantics
(developed in...
-
Logical agents are usually taken to be epistemically perfect, but real
agents may have various imperfections, in particular, due to bounded
memory. This paper is a brief exploration of how different types of
agents can be described in logical terms, how they update their
information, and how they...
-
While the most common way of evaluating a computational model is to
see whether it shows a good fit with the empirical data, recent
literature on theory testing and model selection criticizes the
assumption that this is actually strong evidence for the validity of a
model. This paper presents a c...
-
We introduce the horizontal and vertical topologies on the product of
topological spaces, and study their relationship with the standard
product topology. We show that the modal logic of products of
topological spaces with horizontal and vertical topologies is the
fusion S4+S4. We axiomatize the ...
-
There is a gap between two different modes of computation: the
symbolic mode and the subsymbolic (neuron-like) mode. The aim of this
paper is to overcome this gap by viewing symbolism as a high-level
description of the properties of (a class of) neural networks.
Combining methods of algebraic sem...