-
We present a (sound and complete) tableau calculus for Quantified
Hybrid Logic (QHL). QHL is an extension of orthodox quantified modal
logic: as well as the usual Box and Diamond modalities it contains
names for (and variables over) states, operators @_s for asserting
that a formula holds at a na...
-
-
-
We give a simple example of a variety V of modal algebras that is
canonical but cannot be axiomatised by canonical equations or
first-order sentences. We then show that the variety RRA of
representable relation algebras, although canonical, has no
canonical axiomatisation. Indeed, we show that e...
-
-
In this paper we argue that the category of Stone spaces forms an interesting
base category for coalgebras, in particular, if one considers the Vietoris
functor as an analogue to the power set functor on the category of sets.
We prove that the so-called descriptive general frames, which play a
...
-
This paper sets out to give a natural pragmatic explanation of several
aspects of the interpretation of singular indefinite noun phrases. We
develop a uniform account of characteristic features of their use
which have been dealt with only partly in other semantic paradigms (in
particular the dyna...
-
In this paper we formulate a logic $\Sigma$ILM.
This logic extends ILM and contains a new unary modal operator $\Sigma_1$.
The formulas of this logic can be evaluated on Veltman frames.
We show that $\Sigma$ILM is modally sound and complete with respect to a
certain class of Veltman frames.
An a...
-
-
-
Categorial grammar analyzes linguistic syntax and semantics in terms
of type theory and lambda calculus. A major attraction of this
approach is its unifying power, as its basic function/argument
structures occur across the foundations of mathematics, language and
computation. This paper considers...