1,163 followers
"Cut-free Calculi and Relational Semantics for Temporal STIT Logics", Kees van Berkel, Tim Lyon https://t.co/KDlOEPmHUl
"Cut-free Calculi and Relational Semantics for Temporal STIT Logics", Kees van Berkel, Tim Lyon https://t.co/KDlOEPmHUl
Cut-free Calculi and Relational Semantics for Temporal STIT Logics https://t.co/HWishM9VH2
Cut-free Calculi and Relational Semantics for Temporal STIT Logics https://t.co/rQzmS0cH2o
#NewPaper: #arXiv https://t.co/8kHVi9UcuF https://t.co/ImxtX48gLJ Cut-free Calculi and Relational Semantics for Temporal STIT Logics. (arXiv:1904.09899v1 [cs.LO])