Model checking the agent-alternation-free fragment of epistemic metric temporal logic with past is EXPSPACE-complete, with hardness already at one agent, one knowledge operator, and only the unbounded interval.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity
Model checking the agent-alternation-free fragment of epistemic metric temporal logic with past is EXPSPACE-complete, with hardness already at one agent, one knowledge operator, and only the unbounded interval.