Abstract In this paper we will consider the existing notions of bilateralism in context proof-theoretic semantics and propose, based on our understanding bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under name before that do not multiple speech acts as core such a theory but rather consequence relations. We argue for aim most beneficia...

Is point-of-care molecular diagnosis a near future or not – it may not be too difficult to perceive and answer the question. The future of medicine is a logical consequence of the sequence of events, and some achievements and possibilities probably are currently closer than we can imagine. Some questions unavoidably emerge when considering the future of medicine and the role of molecular diagno...

In this paper we consider the problem of the logical characterization of the notion of correct answer in a relational database that may violate given integrity constraints. This notion is captured in terms of the possible repaired versions of the database. A computational counterpart of the semantical notion is provided in terms of the reconstruction of the database as a deductive database to w...

The algorithm described in this paper is the outcome Based on this model, we will consider a class of wellof an endeavor to answer the following question: Is it possible to find defined optimal path problems. A general procedure for procedures which would enable a computer to solve efficiently paths t c o p ... ~solving this class of problems will then be given in Secconnection problems inheren...

Is point-of-care molecular diagnosis a near future or not – it may not be too difficult to perceive and answer the question. The future of medicine is a logical consequence of the sequence of events, and some achievements and possibilities probably are currently closer than we can imagine. Some questions unavoidably emerge when considering the future of medicine and the role of molecular diagno...

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, th...

In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal temporal operators, as those used in Linear Temporal Logic. As a result, we obtain a very expressive formalism that allows nonmonotonic reasoning for temporal domains. To show an example of its utility, we present a transla...