نتایج جستجو برای: institutions

تعداد نتایج: 89003  

2015

IFAD's comparative advantage lies in its experience in working at the grass-roots level, its understanding of the constraints facing rural poor people, including the most vulnerable, and its capacity to envisage inclusive approaches for socio-economic development. A key element of IFAD’s approach to development is providing support to rural smallholder organizations as a strategy for empowering...

2006
Sudhir Chella Rajan

Principles and visions for a new globalism 4. Visions of Regional Economies in a Great Transition World (Rosen and Schweickart) Reinventing economies for the twenty-first century 5. Transforming the Corporation (White) Redesigning the corporation for social purpose 6. Trading into the Future: Rounding the Corner to Sustainable Development (Halle) International trade in a sustainable and equitab...

2013
Avner Greif Christopher Kingston

In recent years, the interest in rational choice analysis of institutions has received substantial impetus from an accumulating body of evidence demonstrating the importance of a society’s institutions in determining its economic outcomes. Econometric studies have uncovered correlations between institutional variables such as the security of property rights, the rule of law, and trust, and econ...

Journal: :J. Log. Comput. 2004
Razvan Diaconescu

We generalise the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel categorical concept of elementary diagram of a model. We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to instit...

2006
Frank Dignum

Agenda • Abstract, philosophical logic vs.

1994
José Luiz Fiadeiro José Félix Costa

Capitalising on the profusion of modal logics that have been proposed for reactive system specification since [Pnueli 77], on current work that explores categorical formalisations of models of concurrency such as [Sassone et al 93], and on our own past work relating specification logics and such process models [Fiadeiro and Costa 93, Fiadeiro et al 93, Sernadas et al 94], we develop a notion of...

2000
Robert H. Bates

Those who analyze political institutions often employ broad labels. They refer to democracy or authoritarianism; presidential or parliamentary governments; or to systems of plurality or proportional representation. In this paper, I refrain from addressing politics at this level and adopt an approach that is far more micro-in perspective. The approach I take can be referred to as " neo-classical...

2007
George Voutsadakis

Weakly algebraizable sentential logics were introduced by Czelakowski and Jansana and constitute a class in the abstract algebraic hierarchy of logics lying between the protoalgebraic logics of Blok and Pigozzi and the algebraizable logics, in the sense of Czelakowski’s and Hermann’s generalization of the original notion introduced by Blok and Pigozzi. Very recently protoalgebraic π-institution...

2009
Ken Binmore

This short paper begins with a summary of the views of a sympathetic game theorist on the current state of play in what is still called the New Institutional Economics. It continues with a much abbreviated summary of my own attempts to treat justice as a kind of institution in the hope that this will serve as a case study in how game theory can serve as a useful intellectual framework for the s...

Journal: :Theor. Comput. Sci. 1997
Fernando Orejas Elvira Pino Hartmut Ehrig

The compositionality of the semantics of logic programs with respect to (different varieties of) program union has been studied recently by a number of researchers. The approaches used can be considered quite ad-hoc in the sense that they provide, from scratch, the semantic constructions needed to ensure compositionality and, in some cases, full abstraction in the given framework. In this paper...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید