AI 生成解读视频

AI抽取解析论文重点内容自动生成视频

AI解析本论文相关学术脉络

Duality for logics of transition systems

FoSSaCS, (2005): 455-469

EI

We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category χ. The propositional logic used to reason about state spaces from χ is modelled by the Stone dual ${\mathcal A}$ of χ (e.g. if χ is Stone spaces then ${\mathcal A}$ is Boolean ...更多

0