papers AI Learner
The Github is limit! Click to go to the new site.

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

2019-02-18
Kees van Berkel, Tim Lyon

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.

Abstract (translated by Google)
URL

http://arxiv.org/abs/1902.06632

PDF

http://arxiv.org/pdf/1902.06632


Similar Posts

Comments