版本更新 · v4arXiv:2503.24078
A Complete Mental Temporal Logic for Intelligent Agents
Zining Cao
In this paper, we present a mental temporal logic BPICTL together with a sound and complete axiomatization, which generalizes CTL by introducing mental modalities. A sound and complete inference system of BPICTL is given. We also prove the finite model property and decidability of BPICTL. Furthermore, we present a model checking algorithm for BPICTL.
尚无 AI 解读，展示原文摘要
cs.LO