Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality

通过石头对偶性在可测量空间上的代数概率逻辑

• 批准号: EP/H04714X/1
• 负责人: Alexander Kurz
• 金额: $ 3.56万
• 依托单位: University of Leicester
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2010
• 资助国家: 英国
• 起止时间: 2010 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FH04714X%2F1
• 关键词: Coalgebraic; Probabilistic; Logic; over; Measurable

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.

申请人是EPSRC支持的ProjectEP/G041296/1，Colagebraic Logic：扩大范围（CLE）的共同评估者，该范围（CLES）于2009年9月开始。当前的提议的目的是在春季期间批准了5个月的专业知识，以加强现有的项目，以加强该项目。由于MAM薪水中最大的部分将由他的房屋机构支付，因此该申请只是寻求经济帮助，并提供与外出居住相关的额外费用；因此，它有助于提供极大的价值，以回报非常适度的投资。

项目成果

RELATION LIFTING, WITH AN APPLICATION TO THE MANY-VALUED COVER MODALITY

• DOI: 10.2168/lmcs-9(4:8)2013
• 发表时间: 2013-01-01
• 期刊: LOGICAL METHODS IN COMPUTER SCIENCE
• 影响因子: 0.6
• 作者: Bilkova, Marta;Kurz, Alexander;Velebil, Jiri
• 通讯作者: Velebil, Jiri

Algebra and Coalgebra in Computer Science

计算机科学中的代数和余代数

• DOI: 10.1007/978-3-642-22944-2_7
• 发表时间: 2011
• 作者: Balan A