Kees van Berkel

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

2019 · arXiv (Cornell University)

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 …