We notice the following slightly curious (and perhaps, slightly unexpected) logical property of the functor semantics for superintuitionistic predicate logics, contrasting with a well-known property of the usual Kripke semantics. Namely, for a category C its logic (i.e., the logic of all C-sets with the given, fixed C) in general is not reducible to cones (i.e., restrictions of C to upward clos...

In my contribution I will provide an outline of how two major strands in Löbner’s work can be combined in a dynamic game theoretical semantics: phase quantification (PQ) and frame theory (FT). In a first step a formal analysis of PQ in (dynamic) arrow logic is presented. Based on this analysis it is shown in the second step that frame theory must not be understood as being an alternative to sta...

This paper will look at Sahlqvist’s theorem in a new way. We introduce and investigate a “skewed” type of semantics for modal logics over their canonical frames. We will use this semantics, to describe every subset of a canonical frame, we will show that the semantics respects all Sahlqvist formulae, and we then conclude that the Sahlqvist logics are canonical. This will be accomplished without...

This paper presents an extension of propositional dynamic database logic in which arbitrary database transactions can be speciied declaratively. Typically, declaratively speciied transactions are under-speciied. Speciications are usually supplemented with a frame assumption about what does not change as the result of a transaction, and a qualiication assumption stating that transactions occur, ...

In my contribution I will provide an outline of how two major strands in Löbner’s work can be combined in a dynamic game-theoretical semantics: phase quantiVcation (PQ) and frame theory (FT). In a Vrst step a formal analysis of PQ in (dynamic) arrow logic is presented. Based on this analysis it is shown in the second step that frame theory must not be understood as being an alternative to stand...

This paper seeks to address the relation between semantics, pragmatics and productivity of a low level lexico-grammatical construction, Have N (body part/attitude) ↔metapragmatic comment. The question posed is how semantics affects productivity, in generative sense extensibility construction (a form meaning pairing). method identifies specificity variations comment within pragmeme politeness us...

Model theoretic semantics (MTS) has a special attitude to describe semantics, to characterize both artificial and natural languages by pure mathematical tools and some of the basic properties of this attitude are disscussed. The arsenal of MTS equipped here with such tools allowing the investigation at such a level of complexity that approximates the real situations. These tools are developed w...

We propose that qualitative physics can provide an important component of natural language semantics. Specifically, we describe how qualitative process theory can be recast in terms of frame semantics, as used in the Berkeley FrameNet project. This reformulation is important because it could allow the techniques of qualitative reasoning to be harnessed for natural language understanding and it ...

We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the hybrid proof rule BG is topologically not sound. Indeed, among all topological spaces the BG rule characterizes those that can be represented as a Kripke frame (i.e., the Alexandroff spaces). We also demonstrate that,...