A Complete Mental Temporal Logic for Intelligent Agent
Logic in Computer Science
2025-06-10 v3
Abstract
In this paper, we present a complete mental temporal logic, called BPICTL, which generalizes CTL by introducing mental modalities. A sound and complete inference system of BPICTL is given. We prove the finite model property of BPICTL. Furthermore, we present a model checking algorithm for BPICTL.
Keywords
Cite
@article{arxiv.2503.24078,
title = {A Complete Mental Temporal Logic for Intelligent Agent},
author = {Zining Cao},
journal= {arXiv preprint arXiv:2503.24078},
year = {2025}
}
Comments
18 pages