2,243 followers
#Computer #Info #OA Reasoning with global assumptions in arithmetic modal logics https://t.co/4Z8fDUm8Rb #Science #OpenAccess
#Computer #Info #OA Reasoning with global assumptions in arithmetic modal logics https://t.co/4Z8fDUm8Rb #Science #OpenAccess