9 citations · 28 across the 9 of their papers we have counts for
4 papers · 1 filter
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision pro…
A Neutral Temporal Deontic STIT Logic
Kees van Berkel, Tim Lyon
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS. The logic is based upon atemporal utili…
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
Kees van Berkel, Tim Lyon
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 Ldm, Tstit and Xsti…
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Kees van Berkel, Tim Lyon
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 bas…