Coalgebraic Logics Duality

机译：合并逻辑与对偶

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

I will provide a brief introduction to coalgebraic modal logics and highlight a few central concepts concerning these logics. After that I will outline my current research in the area.

机译：我将简要介绍合代模态逻辑，并重点介绍有关这些逻辑的一些核心概念。之后，我将概述我在该领域的当前研究。

著录项

来源
《Coalgebraic methods in computer science》|2018年|6-12|共7页
会议地点 Thessaloniki(GR)
作者
Clemens Kupke;
展开▼
作者单位

Department of Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Coalgebraic Semantics for Probabilistic Logic Programming [J] . Zanasi Fabio, Gu Tao Logical Methods in Computer Science . 2021,第3期

机译：概率逻辑编程的临时语义
2. A Coalgebraic Perspective on Probabilistic Logic Programming [J] . Tao Gu, Fabio Zanasi LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：概率逻辑编程的结合论观点
3. Coalgebraic Geometric Logic [J] . Nick Bezhanishvili, Jim de Groot, Yde Venema LIPIcs : Leibniz International Proceedings in Informatics . 2019,第29期

机译：代数几何逻辑
4. Coalgebraic Logics Duality [C] . Clemens Kupke IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science . 2018

机译：煤炭迷信与二元性
5. Dual Interlocked Logic: A Radiation-hardened-by-design Technique for Single-event Logic Errors [D] . Maharrey, Jeffrey A. 2018

机译：双互锁逻辑：针对单事件逻辑错误的辐射加固设计技术
6. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic [O] . Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, -1

机译：双重深度建模：具有双重效能的多层次建模及其在F-Logic中的形式化
7. Coalgebraic Logics Duality [O] . Clemens Kupke 2018

机译：煤炭迷信与二元性
8. Coalgebraic Logic and Synthesis of Mealy Machines [R] . Bonsangue, M. M., Rutten, J. J. M. M., Silva, A. M. 2007

机译：meal机器的代数逻辑与综合

Coalgebraic Logics Duality

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅