In this paper we present a first order epistemic logic that incorporates the essentially finite character of what is actually known by any knower. Our logic and language allows us to represent familiarity with individuals including individual situations. It is also a logic of l imited awareness in the manner of [FH88]. It is adequate for the syntactic characterization of the shared-si tuat ion ...

String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.

Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieval, based on deciding relevance with the entailment d j= q, where d and q are logical representations of a document and a query respectively, does not consider retrieval situations. In this work we propose to introduce ...

In 1975, a consortium sponsored by the Argentine government tried to purchase the stock of the Britishowned Falkland Islands Company, a monopoly that owned 43 percent of the land in the Falklands, employed 51 per cent of the labor force, had a monopoly on all wool exports, and operated the steamship run to South America. The stockholders were willing to sell especially because the Argentine con...

Identifying situations in which power exists is an ability that agents can exploit when they must interact with one another. In particular, agents can take advantage of empowered situations to make other agents satisfy their goals. The aim of this paper is to identify situations in which power might exist through the roles agents play in a society as well as the powers that emerge from their ow...

This paper introduces a new model concerning cooperative situations in which the payoffs are modeled by random variables. First, we study adequate preference relations of the agents. Next, we define corresponding cooperative games and we introduce and study various basic notions like an allocation, the core and marginal vectors. Furthermore, we introduce three types of convexity, namely coaliti...

How to compensate people who provide relevant information to a decision-maker who faces uncertainty? This paper suggests some compensation rules. These are studied both in a cooperative and a noncooperative environment. JEL codes: C71, C72, D89.

Many multi-agent systems (MAS) and other kinds of dynamic systems may be modeled as transition systems, in which actions are associated with transitions between different system states. This paper presents an approach to normative systems in this context, in which the permission or prohibition of actions is related to the permission or prohibition of different types of state transitions with re...

The participants in a conversation share a lot more than information about the propositional content of statements. Among other things, they share information about each other’s intentions or about whose turn it is to speak; they also spend a lot of their time synchronizing their views of the common ground [Clark, 1996]. Utterances update this ‘pragmatic’ aspects of the common ground as well as...

Citing this paper Please note that where the full-text provided on King's Research Portal is the Author Accepted Manuscript or Post-Print version this may differ from the final Published version. If citing, it is advised that you check and use the publisher's definitive version for pagination, volume/issue, and date of publication details. And where the final published version is provided on th...