跳到正文
研踪PaperTrail
← 研踪 PaperTrail

arXiv:2503.24078 · v4

A Complete Mental Temporal Logic for Intelligent Agents

Zining Cao
cs.LO
首次提交 2025-03-31 21:33
版本更新 2026-10-29 12:06
雷达观测 2026-10-30 11:25
arXiv ↗PDF ↗

摘要

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.

作者备注：19 pages

查看 arXiv 原文 ↗阅读 PDF ↗

AI 论文解读

基于摘要 · 非全文审阅

此版本尚未生成 AI 解读。解读由后台任务生成并按论文版本保存，登录后共享已有结果。

版本差异

目前只观测到一个版本，无法比较变化。之后收录新版本时，会在这里对照标题、作者、分类和摘要。

观测到的版本

相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。

v4 · 2026-10-29 12:06 · 最新观测版本

A Complete Mental Temporal Logic for Intelligent Agents

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.

查看此版本解读 →查看此版本原文 ↗