BriefGPT.xyz
Oct, 2023
关于直觉性计算树逻辑的推理
Reasoning about Intuitionistic Computation Tree Logic
HTML
PDF
Davide Catta, Vadim Malvone, Aniello Murano
TL;DR
本文定义了直觉主义版本的计算树逻辑，解释了直觉主义逻辑的语义特征，并研究了其在形式验证中的应用，进而定义了直觉主义版本的CTL的语法和语义，并研究了该逻辑的一些简单性质。最后，我们证明了在我们定义的直觉主义版本的CTL中，一些CTL的不动点公理是无效的。
Abstract
In this paper, we define an
intuitionistic version
of
computation tree logic
. After explaining the
semantic features
of intuitionistic log
→