Abstract I examine the foundations of a just society using lens decision theory. The conception is from an individual’s viewpoint: where would rather live if have equal chance being any individual? Three alternative designs for are examined. These are: laissez-faire, maximin and social minimum. Two assumptions about human nature clarify distinction among three societies. first assumption that r...

Abstract The concept of must testing is naturally parametrised with a chosen completeness criterion, defining the complete runs system. Here I employ justness as this instead traditional choice progress. resulting must-testing preorder incomparable default one, and can be characterised fair failure Vogler. It also coarsest precongruence preserving linear time properties when assuming justness. ...