Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality

点击翻译按钮获取中文摘要

The applicants are coinvestigators on the EPSRC supported projectEP/G041296/1, Coalgebraic Logic: Expanding the Scope (CLES),which started in September 2009. The purpose of the current proposalis to strengthen the existing project by drafting in the expertise ofMAM for a period of 5 months in the Spring Term 2010. The opportunityfor this has arisen because of the study leave recently granted toMAM. Since the largest part of MAM's salary will be paid by his homeinstitution, this application is merely asking for financial help withthe additional costs associated with living away from home; it thuspromises to provide excellent value in return for a very modestinvestment.