Many science support mechanisms aim to combine excellent research with explicit expectations of societal impact. Temporary research centres such as "Centres of Excellence" and "Centre of Excellence in Research and Innovation" have become widespread. These centres are expected to produce research...

This paper tries to clarify the logical structure of the relationship between labour values and prices from an axiomatic perspective. The famous 'transformation problem' is interpreted as an impossibility result for a specific interpretation of value theory based on specific assumptions and...

On a few occasions F.A. Hayek made reference to the famous Gödel theorems in mathematical logic in the context of expounding his cognitive and social theory. The exact meaning of the supposed relationship between Gödel´s theorems, on the one hand, and the essential proposition of Hayek´s...

We study how the diffusion of being pivotal affects immoral outcomes. In a first set of experiments, subjects decide about agreeing to kill mice and receiving money versus objecting to kill mice and foregoing the monetary amount. In a baseline condition, subjects decide individually about the...

In this paper, transformer logistics networks are treated as flow models of discrete manufacturing systems (FMDMS). The purpose is to formalize FMDMS into logical formulas called transformer functions. Transformer logistics networks are able to handle buffers and their production orders in a way...

"From the acclaimed author of The Armchair Economist, a delightful collection of puzzles and brain teasers that provide an entertaining, informative tour of economic concepts for novices and experts alike."

Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying...