-
Report on ECDS:
An Interactive Course on the Internet
Paul J. E. Dekker, David I. Beaver
From 3rd May until 12th July 1996, an academic course was given for an
international (and intercontinental) group, via the internet. The course was
given by Paul Dekker and David Beaver, both employed at th...
-
-
Business System 12 is the name of a Relational database system developed by
IBM, in the Netherlands, in the early 1980-ies, building on the work of a group
at Peterlee, UK. A first version of BS12 became operational in 1983. The system
was never installed at a client; users accessed the system in...
-
From a Modal Point of View:
A Logical Investigation into Modalities De Dicto and De Re.
Paul Harrenstein
Philosophical conundrums regarding the reference of 'each man' in 'each man
is mortal' in traditional logic were rendered irrelevant by the
introduction of the quantifiers.
In this paper ...
-
Formalizing UML will lead to problems much larger than those
encountered in formalizing ordinary computer related languages.
These problems concern not primarily the syntax. In fact that part is
most likely to be formalizable at all. Instead I expect major
problems with specifying a semantics ...
-
In 1952, Thompson defined four transformations on extensive games, and
proved that they leave the reduced normal form intact (a so-called
"adequacy" theorem). Kohlberg and Mertens, in 1986, proposed two
additional game transformations. In this paper, I will state and prove
adequacy results fo...
-
Overview of various approaches to the semantics of questions and answers.
Keyword(s): questions, semantics, logic
-
Modelling the epistemic dynamics of multiagent systems currently gets
much attention from the research community. Contrary to most approaches,
we restrict ourselves to S 5 models. We propose a language KT of knowledge
action types and a derived language KA of knowledge actions. Basic to our
a...
-
We axiomatize two different game states for card games, the state
where cards have been dealt over players but where they haven't
picked up their cards from the table yet, and the state where they
have picked up their cards. The first is mainly interesting for
its use in indirect description ...
-
Logic involves games of argumentation and evaluation. But games in
general also show logical structures of action and information
flow. This collection of papers - material for a planned monograph on
the subject - addresses the resulting connections between logic and
game theory. Topics include: ...
-