Image de couverture de livre

A Complete Mental Temporal Logic for Intelligent Agent

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cao, Zining
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
par: Schewe, Klaus-Dieter, et autres
Publié: (2025)

On Generalized Performance Evaluation and Generalized Controller Synthesis
par: Cao, Zining
Publié: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

On Higher Order Busy Beaver Function
par: Cao, Zining
Publié: (2025)

Relative Completeness of Incorrectness Separation Logic
par: Lee, Yeonseok, et autres
Publié: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
par: Brieger, Marvin, et autres
Publié: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
par: Li, Yongming
Publié: (2025)

A Dynamic Logic for Information Evaluation in Intelligence
par: Icard, Benjamin
Publié: (2024)

Cumulative-Time Signal Temporal Logic
par: Chen, Hongkai, et autres
Publié: (2025)

Multi-Property Temporal Logic Monitoring
par: Demir, Arınç, et autres
Publié: (2026)

Synchronous Team Semantics for Temporal Logics
par: Krebs, Andreas, et autres
Publié: (2024)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

Reelay: Online Temporal Logic Monitoring Framework
par: Ulus, Dogan
Publié: (2026)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

mstlo: Efficient Online Monitoring of Signal Temporal Logic
par: Thomsen, Andreas Kaag, et autres
Publié: (2026)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
par: Benerecetti, Massimo, et autres
Publié: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Löb-Safe Logics for Reflective Agents
par: Ahrenbach, Seth
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
par: Kikot, Stanislav, et autres
Publié: (2017)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
par: Jacobs, Swen, et autres
Publié: (2023)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
par: Artale, Alessandro, et autres
Publié: (2022)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)