Multi-optional Many-sorted Past Present Future structures and its description

This work addresses the need for formal foundations in cognitive architectures, but it appears incremental as it focuses on mathematical definitions without reported empirical results or benchmarks.

The paper tackles the problem of describing model-theoretic semantics for symbolic cognitive architectures by mathematically defining multi-optional many-sorted past present future (MMPPF) structures and formal languages, as part of the cognitive theory of true conditions (CTTC).