preprint
Open access
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Research footprint
At a glance
- Citations
- 0
- References
- 4
- Comments
- 0
Paper overview
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.
Record transparency
Publication details
- DOI
- 10.48550/arxiv.1902.06632
- OpenAlex
- W2912740112
- Document type
- preprint
- Language
- EN
- Source
- arXiv (Cornell University)
- Last metadata update
Comments
Log in to join the discussion.