of etiquette rules guiding knowledge representation into theories framed within the Inconsistent Default Logic, IDL. It is then established the important result that IDL produces a unique extension for a theory constructed according to these rules. This result calls forth IDL as an interesting alternative

-valued. The model therefore permits linear activities and hence the technologies that admit capital theory paradoxes. The result thus shows that if the consumer side of the economy is well behaved then capital theory paradoxes are irrelevant for stability. Other features of the Walrasian general-equilibrium model

, and economics, in particular. The paper considers the origin of economics ’ use of the multiplier and provides a con-crete example of how it is used in microeconomic theory. While the focus is on the multiplier’s application to microeconomics, the intended audience includes all teachers and students who

Abstract Starting from an intuitive and constructive approach for countable domains, and combining this with elementary measure theory, we obtain an upper semi-continuous utility function based on outer measure. Whenever preferences over an arbitrary domain can at all be represented by a utility

We introduce some Π1–expressible combinatorial principles which may be treated as axioms for some bounded arithmetic theories. The principles, denoted Sk(Σ b n, length log k) and Sk(Σ b n, depth log k) (where ‘Sk ’ stands for ‘Skolem’), are related to the consistency of Σ b n

exist and can be reached quickly by logit dynamics. We identify a class of potential games, called asymptotically well-behaved, for which the behav-ior of the logit dynamics is not chaotic as the number of players increases so to guarantee meaningful asymptotic results. We prove that any such game

the decomposition include a more complete understanding of the treatment of bound outputs in Pi as well as an lts which is more robust with respect to the addition and removal of language features. The present paper serves as an overview of some of the techniques involved and some of the goals of the ongoing work

with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional

ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression

This thesis is part of the programme aimed at finding a mathematical theory of well-behaved structural operational semantics. General and basic results shown in 1997 in a seminal paper by Turi and Plotkin are extended in two directions, aiming at greater expressivity of the framework. The so