Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Logic in Computer Science
2019-02-19 v1 Artificial Intelligence
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.
Keywords
Cite
@article{arxiv.1902.06632,
title = {Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics},
author = {Kees van Berkel and Tim Lyon},
journal= {arXiv preprint arXiv:1902.06632},
year = {2019}
}
Comments
Appendix to paper "Cut-free Calculi and Relational Semantics for Temporal STIT logics", accepted to the 16th Joint European Conference on Logics in Artificial Intelligence (JELIA 2019)