-
We give a complete axiomatization of the identities of the basic game
algebra, valid with respect to the abstract game board semantics. We
also show that the additional conditions of termination and
determinacy of game boards do not introduce new valid identities.
En route we introduce a simple ...
-
The aim of this paper is to exemplify the complexity of the
satisfiability problem of products of modal logics. Our main goal is
to arouse interest for the main open problem in this area: a tight
complexity bound for the satisfiability problem of the product
\textbf{K}$\times$\textbf{K}. At pre...
-
All proper normal extensions of S5--square have the polynomial size
model property
Maarten Marx, Nick Bezhanishvili
It is shown that all proper normal extensions of the bi-modal system
$S5^2$ have the poly-size model property. In fact, every normal proper
extension $L$ of $S5^2$ is complete wit...
-
As far as we know, a {\em learning to coordinate} paradigm was first
introduced in Formal Learning Theory by using the tools of recursion
theory. In this paper, we present a first-order paradigm of
coordination---we call this the paradigm of {\em SF-coordination}. The
paradigm of SF-coordination ...
-
The validity problem for intuitionistic predicate logic with one
variable is complete for the class of co--nexptime problems. This
result holds for both constant and for expanding domains. The upper
bound follows because every refutable formula can be refuted in a
Kripke model whose size is expo...
-
We define an interpretation of modal languages with polyadic operators
in modal languages that use monadic operators (diamonds) only. We also
define a simulation operator which associates a logic in the diamond
language with each logic in the language with polyadic modal
connectives. We prove th...
-
Consciousness at the Cutting Edge between World and Brain:
The Interaction between Perception, Imagination, Thought, and Language
Renate Bartsch
This essay explores consciousness from three different angles: First,
from the philosophical point of view, showing the central tasks of
consciousnes...
-
The language of relation algebras is expanded with variables denoting
individual elements in the domain and with the downarrow binder from
hybrid logic. Every elementary property of binary relations is
expressible in the resulting language, something which fails for the
relation algebraic langua...
-
To judge the suitability of courses of action, the adequacy of
explanations and the worthiness of acts we must sometimes evaluate
hypothetical arguments. I shall consider the scheme A>B, B>C/A>C,
transitivity (> is a counterfactual conditional connective). It is
invalid in standard treatments. My...
-
Might cats, cities, clouds and other ordinary things really be vague,
in the sense that they lack sharp boundaries? It is widely thought
that this idea is more or less unintelligible. I argue that it makes
good sense: ordinary things are vague because there is sometimes no
matter of fact whether ...
-