Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
arXiv:1902.06632v1
Originality Synthesis-oriented
AI Analysis
This is an incremental appendix that supports foundational work in formal logic by detailing technical proofs for temporal STIT logics.
The paper provides a completeness proof for the basic STIT logic Ldm relative to irreflexive, temporal Kripke STIT frames and derives the independence of agents axiom for the logic Xstit.
This paper is an appendix to the paper "Cut-free Calculi and Relational Semantics for Temporal STIT logics" by Berkel and Lyon, 2019. It provides the completeness proof for the basic STIT logic Ldm (relative to irreflexive, temporal Kripke STIT frames) as well as gives the derivation of the independence of agents axiom for the logic Xstit.