Multi-context systems (MCS) represent contextual information flow. We show that the semantics of an MCS is completely determined by the information that is obtained when simulating the MCS, in such a way that a minimal amount of information is deduced at each step of the simulation. In MCS, the acquisition of new information is based on the presence of… (More)
In this paper we introduce a multi-context variant of Reiter's default logic. The logic provides a syntac-tical counterpart of Roelofsen and Serafini's information chain approach (IJCAI-05), yet has several advantages: it is closer to standard ways of representing nonmonotonic inference and a number of results from that area come " for free " ; it is closer… (More)
This paper examines how intonation affects the interpretation of disjunctive questions. The semantic effect of a question is taken to be threefold. First, it raises an issue. In the tradition of inquisitive semantics, we model this by assuming that a question proposes several possible updates of the common ground (several possibilities for short) and… (More)
In classical logic, the proposition expressed by a sentence is construed as a set of possible worlds, capturing the informative content of the sentence. However, sentences in natural language are not only used to provide information, but also to request information. Thus, natural language semantics requires a logical framework whose notion of meaning does… (More)
This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, we propose a distributed decision procedure that maximally exploits the potential amenity of localizing reasoning and restricting it to relevant contexts. We show that the latter… (More)