A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

O Tableau de Bord e o Balanced Scorecard: Uma Análise Comparativa

As últimas décadas são testemunho de mudanças dramáticas, transformando a concorrência da era industrial na concorrência da era da informação. A tomada de decisões baseada essencialmente em indicadores financeiros de caráter histórico revelou-se insuficiente para responder às necessidades da gestão. Dadas as limitações dos indicadores de gestão tradicionais para avaliar o desempenho das organizações, quer sejam públicas quer sejam privadas, é necessário o desenvolvimento de modelos de indicadores de gestão que traduzam todos os fatores críticos de êxito. Assim, distintos autores sugeriram novos sistemas de avaliação do desempenho e de gestão estratégica das organizações questionando a utilidade dos tradicionais sistemas de gestão. Entre esses modelos destacamos o Tableau de Bord e o Balanced Scorecard, apresentando as suas principais características, semelhanças e diferenças, no sentido de facilitar a sua implementação nas organizações.

Measuring social impact: A guideline to implement a tableau de bord

Many impact-seeking organisations cannot measure and demonstrate their social impact because they either lack technical expertise or requisite financial and human resources. This report clarifies the process of social impact measurement to help these organisations engage in social impact measurement practices. It presents a simple guideline to create a measurement approach based on the Tableau de Board. The guideline has been developed through a theoretical revision of best practices in social impact measurement, academic research and the author's individual thoughts and ideas. While a first testing of the approach revealed positive feedback, only future broad-scale testing will demonstrate the approach’s validity and feasibility.

Tableau encyclopedique et methodique des trois règnes de la nature: Botanique.

t.1

Tableau encyclopedique et methodique des trois règnes de la nature: Botanique.

t.2

Tableau encyclopedique et methodique des trois règnes de la nature: Botanique.

t.3

Tableau des maîtres et marchands fabricans cordonniers et bottiers de la ville de Paris... Année 1820 [-1830]

[Paris]