This paper proposes a bridge between the Herding literature and the literature on Rational Expectations under asymmetric information. In particular we examine how the presence of discrete investment decisions affects the properties of a market equilibrium where information is costly to acquire. We choose to focus on the case where individual decisions are discrete since this appears to be the k...

A positive rst-order formula is bounded if the sequence of its stages converges to the least xed point of the formula within a xed nite number of steps independent of the input structure. The boundedness problem for a fragment L of rst-order logic is the following decision problem: given a positive formula in L, is it bounded? In this paper, we investigate the boundedness problem for two-variab...

In this paper we analyze the decision problem for fragments of first-order extensions of branching time temporal logics such as computational tree logics CTL and CTL or Prior’s Ockhamist logic of historical necessity. On the one hand, we show that the one-variable fragments of logics like first-order C T L —such as the product of propositional C T L with simple propositional modal logic S5, or ...

In this talk I will describe the set-theoretic version of the Classical Decision Problem for First Order Logic. I will then illustrate the result on the decidability of the satisfiability problem class of purely universal formulae (∃∗∀∗-sentences) on the unquantified language whose relational symbols are membership and equality. The class we studied is, in the classical (first order) case, the ...

We present in this paper a first-order extension of the solver of Prolog III, by giving not only a decision procedure, but a full firstorder constraint solver in the theory T of the evaluated trees, which is a combination of the theory of finite or infinite trees and the theory of the rational numbers with addition, subtraction and a linear dense order relation. The solver is given in the form ...

Decision making and/or control is the process by which free variables (options, actions, decisions, control signals, . . . ) of a system are evaluated and selected in order to realize some goals. Reactive decision making (and/or control) that is decision making in situation where things are not going as expected (reorganization of emergency services during a catastrophe event in order to ensure...

The general concept of probabilistic argumentation systems PAS is restricted to the two types of variables: assumptions, which model the uncertain part of the knowledge, and propositions, which model the rest of the information. Here, we introduce a third kind into PAS: so-called decision variables. This new kind allows to describe the decisions a user can make to react on some state of the sys...