-
Even though residuation is at the core of Categorial Grammar, it is
not always immediate to realize how standard logic systems like
Multi-modal Categorial Type Logics (MCTL) actually embody this
property. In this paper we focus on the basic system NL and its
extension with unary modalities NL(\Di...
-
The non-classical, nonmonotonic inference relation associated with the
stable model semantics for logic programs gives rise to a relationship
of {\em strong equivalence} between logical programs that can be
verified in the 3-valued G\"odel logic, {\bf G3}, the strongest
non-classical intermediate...
-
We consider the problem of the product finite model property for
binary products of modal logics. First we give a new proof for the
product finite model property of the logic of products of Kripke
frames, a result due to Shehtman. Then we modify the proof to obtain
the same result for logics of...
-
Sentences containing pronouns and indefinite noun phrases can be said
to express open propositions, propositions which display gaps to be
filled. This paper addresses the question what is the linguistic
content of these expressions, what information they can be said to
provide to a hearer, and in...
-
Charles Sanders Peirce (Peirce 1906) has recently regained the
interest of semanticists. It has been argued that the puzzle should be
analyzed by means of a dynamic or E-type analysis of non-bound
pronouns.
<BR>In this paper we will first argue that \puzzel,
basically, doesn't have anything to do...
-
When it comes to the interpretation of pronouns or variables, theories
of interpretation generally adduce contexts in which these elements
feel at home. When pronouns are, thus, accommodated conveniently, they
pretty passively do what the contexts tell them to do, which is hardly
anything. These ...
-
If and only are elegant and inspiring particles with substantial
logical and linguistic roles. With this paper we hope to contribute to
the understanding of the two, and to that of their interaction. Some
of our (dynamic semantic) intuitions about the interpretation of these
particles are tested ...
-
Optimality Theory catches on in linguistics, first in phonology, then
in syntax, and recently also at the semantics / pragmatics
interface. In this paper we point at some parallels between some
principles employed in optimality theoretic interpretation, and some
notions from the well studied fiel...
-
The traditional notion of word meaning used in natural language processing is literal or lexical meaning as used in dictionaries and lexicons. This relatively objective notion of lexical meaning is different from more subjective notions of emotive or affective meaning. Our aim is to come to gri...
-
The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing the situation calculus also highlight the
<BR>connection between the fields of artificial intelligence and philosophical logic (e...
-
We investigate the topological interpretation of modal logic in modern terms, using a new notion of bisimulation. Next, we look at modal logics with interesting topological content, presenting, amongst others, a new proof of McKinsey and Tarski's theorem on completeness of S4 with respect to the ...