Abstract Discounting future costs and rewards is a common practice in accounting, game theory machine learning. In spite of this, existing logics for reasoning about strategies with cost resource constraints do not account discounting. The article proposes sound complete logical system budget-constrained strategic abilities that incorporates discounting into its semantics.

This paper presents an overview of Transaction Logic|a new formalism recently introduced in 11, 12] and designed to deal with the phenomenon of state changes in logic programming, databases, and AI. Transaction Logic has a natural model theory and a sound and complete proof theory. Unlike many other logics, however, it is suitable for programming procedures that accomplish state transitions in ...

We consider a simple tournament model with two stages and compare two information conditions: Either intermediate information on the subjects’ relative positions after the first stage is available or it is not. According to our theoretical predictions, equilibrium behavior in both stages is not affected by intermediate information. In laboratory experiments, we also find no difference between a...

The subsumption problem with respect to terminologies in the description logic ALC is EXP-complete. We investigate the computational complexity of fragments of this problem by means of allowed Boolean operators. Hereto we make use of the notion of clones in the context of Post’s lattice. Furthermore we consider all four possible quantifier combinations for each fragment parameterized by a clone...

Terminological modeling, in particular in medical domains, is difficult and has enjoyed growing attention over the recent past. In practice, logical reasoning can play a fundamental role to support the modeling process. Nevertheless, the development of the logical tools is usually driven by computational or theoretical criteria rather than by the direct needs of a modeler. In this paper we atte...

The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties traditional semantics based on matrices functions) whilst finitely characterizing a much wider class logics, and has proven to be decisive in myriad recent compositional results logic. Crucially, when finite satisfies monadicity (distinct truth-values can separate...

We introduce an abstract general notion of system of equations and rewrites between terms, called Term Equational Rewrite System (TERS), and develop a sound logical deduction system, called Term Equational Rewrite Logic (TERL), to reason about equality and rewriting. Further, we give an analysis of algebraic free constructions which together with an internal completeness result may be used to s...

We introduce an abstract general notion of system of equations between terms, called Term Equational System, and develop a sound logical deduction system, called Term Equational Logic, for equational reasoning. Further, we give an analysis of algebraic free constructions that together with an internal completeness result may be used to synthesise complete equational logics. Indeed, as an applic...

A systemic perspective was employed in completing a phonological analysis and developing an intervention plan for Jarrod, a 7;0 year old child who exhibited a severe speech sound disorder characterized by inconsistency. Results of the Systemic Phonological Analysis of Child Speech (SPACS) revealed a limited sound system that was characterized by phonotactic inventory constraints, positional con...