Curb sets [Basu and Weibull, Econ. Letters 36 (1991), 141-146] are product sets of pure strategies containing all individual best-responses against beliefs restricted to the recommendations to the remaining players. The concept of minimal curb sets is a set-theoretic coarsening of the notion of strict Nash equilibrium. We introduce the concept of minimal strong curb sets which is a set-theoreti...

A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of both sequent-like tableaux and preexed tableaux. Proper rules are used, instead of complex closure operations for the accessibility relation, while non deter-minism and cut rules, used by sequent-like tableaux, are totally eliminated. A strong completeness theorem with...

Since most graphs evolve over time, it is useful to be able to query their history. We consider historical reachability queries that ask for the existence of a path in some time interval in the past, either in the whole duration of the interval (conjunctive queries), or in at least one time instant in the interval (disjunctive queries). We study both alternatives of storing the full transitive ...

Abstract. The dynamics of connecting elements should be identified to evaluate their effects on the assemblies where they are employed. In general, a linear analysis is sufficient determine dynamics. However, in some cases, responses depend amplitude and frequency excitation, thus nonlinear analyses must carried out. Following modal approach, Nonlinear Normal Modes (NNMs) can used. aim this wor...