Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1904.09899
Cited By
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
22 April 2019
Kees van Berkel
Tim S. Lyon
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Cut-free Calculi and Relational Semantics for Temporal STIT Logics"
2 / 2 papers shown
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim S. Lyon
Kees van Berkel
LRM
24
14
0
29 Aug 2019
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Kees van Berkel
Tim S. Lyon
12
0
0
18 Feb 2019
1
Page 1 of 1
