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支持的项目EP/G 041296/1，共代数逻辑：扩大范围（克莱斯）的共同研究者，该项目于2009年9月开始。本提案的目的是通过在2010年春季学期引入MAM的专业知识来加强现有项目，为期5个月。这一机会的出现是因为MAM最近获得了学习假。由于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