Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality

申请者是EPSRC资助项目“协同代数逻辑：扩展范围”（Coalgebraic Logic: expanded The Scope， CLES）的共同研究者，该项目于2009年9月启动。当前提案的目的是通过在2010年春季学期中起草为期5个月的mam专业知识来加强现有项目。这方面的机会出现了，因为我最近获得了学习假。由于MAM的大部分工资将由其所在机构支付，因此此申请仅要求提供与离家生活相关的额外费用的经济帮助；因此，它承诺以非常适度的投资提供卓越的价值回报。

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.