Authors
Kees van Berkel, Tim Lyon
Publication date
2019/5/6
Book
European Conference on Logics in Artificial Intelligence
Pages
803-819
Publisher
Springer International Publishing
Description
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for , and . All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi and are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also can be characterized through relational frames, omitting the use of BT+AC frames.
Total citations
Scholar articles
K van Berkel, T Lyon - European Conference on Logics in Artificial …, 2019
K van Berkel, T Lyon - arXiv preprint arXiv:1902.06632, 2019