SOUTHERN BLUEFIN TUNA CASE

Southern Bluefin Tuna Case

The Southern Bluefin Tuna Award on Jurisdiction and Admissibility of 4 August 2000 on the dispute between Australia/New Zealand and Japan became the first example of the application of compulsory arbitration under Annex VII of the 1982 UN Convention of the Law of the Sea.The Arbitral Tribunal found that it did not have jurisdiction to hear the meri

read more

The expressive power of modal logic with inclusion atoms

Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams.A team of a Kripke model is just a subset of its domain.In this paper we give a complete characterisation for the expressive power of modal inclusion logic: a class of Kripke models with teams is definable Custo

read more


Introduction to the Thematic Section

The papers in this thematic section were originally presented in two venues.Approximately half of the contributions were delivered first in a session at the Annual Meeting of the Central States Anthropological Society in Indianapolis, Indiana in March, 1995.The full complement of presentations took place at the 94th Annual Meeting of the American A

read more