# Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics

## TL;DR

This paper provides a completeness proof for the basic STIT logic Ldm and derives the independence of agents axiom for Xstit, enhancing the theoretical foundations of temporal STIT logics.

## Contribution

It offers the first completeness proof for Ldm relative to irreflexive temporal Kripke frames and formalizes the independence of agents axiom for Xstit.

## Key findings

- Completeness proof for Ldm with irreflexive temporal frames
- Derivation of independence of agents axiom for Xstit
- Strengthened theoretical understanding of temporal STIT logics

## Abstract

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.