Revision history for entry Kurahashi, Taishi: Rosser Provability and Normal Modal Logics [KURRPA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-09-17T17:38:44updateSystem / admin update
2020-09-17T16:08:02updateSystem / admin update
2020-09-16T17:35:19updateSystem / admin update
2020-09-16T16:07:46updateSystem / admin update
2020-09-15T17:38:49updateSystem / admin update
2020-09-15T16:05:19updateSystem / admin update
2020-09-14T19:50:42updateSystem / admin update
2020-09-14T17:29:43updateSystem / admin update
2020-09-13T19:34:29updateSystem / admin update
2020-09-13T17:15:27updateSystem / admin update
2020-09-12T18:54:37updateSystem / admin update
2020-09-12T16:46:56updateSystem / admin update
2020-09-11T19:34:30updateSystem / admin update
2020-09-11T17:28:12updateSystem / admin update
2020-09-10T20:21:30updateSystem / admin update
2020-09-10T17:42:16updateSystem / admin update
2020-09-09T20:34:14updateSystem / admin update
2020-09-09T17:52:14updateSystem / admin update
2020-09-08T21:24:52updateSystem / admin update
2020-09-08T18:19:12updateSystem / admin update
2020-09-07T21:32:48updateSystem / admin update
2020-09-07T18:33:30updateSystem / admin update
2020-09-06T20:14:32updateSystem / admin update
2020-09-06T17:44:52updateSystem / admin update
2020-09-05T20:51:56updateSystem / admin update
2020-09-05T18:14:45updateSystem / admin update
2020-09-04T20:51:41updateSystem / admin update
2020-09-04T18:03:05updateSystem / admin update
2020-09-03T20:25:51updateSystem / admin update
2020-09-03T17:53:49updateSystem / admin update
2020-09-02T20:08:01updateSystem / admin update
2020-09-02T17:40:32updateSystem / admin update
2020-09-01T20:08:01updateSystem / admin update
2020-09-01T17:41:57updateSystem / admin update
2020-08-31T20:34:09updateSystem / admin update
2020-08-31T18:08:21updateSystem / admin update
2020-08-30T19:59:55updateSystem / admin update
2020-08-30T17:32:46updateSystem / admin update
2020-08-29T21:50:09updateSystem / admin update
2020-08-29T19:05:34updateSystem / admin update
2020-08-28T20:55:56updateSystem / admin update
2020-08-28T18:23:16updateSystem / admin update
2020-08-27T21:12:10updateSystem / admin update
2020-08-27T18:28:44updateSystem / admin update
2020-08-26T20:41:08updateSystem / admin update
2020-08-26T18:00:15updateSystem / admin update
2020-08-25T21:01:51updateSystem / admin update
2020-08-25T18:19:06updateSystem / admin update
2020-08-24T19:45:07updateSystem / admin update
2020-08-24T17:18:07updateSystem / admin update
2020-08-23T19:39:45updateSystem / admin update
2020-08-23T17:20:42updateSystem / admin update
2020-08-22T19:37:21updateSystem / admin update
2020-08-22T17:21:09updateSystem / admin update
2020-08-21T20:02:05updateSystem / admin update
2020-08-21T17:38:08updateSystem / admin update
2020-08-20T17:43:06updateSystem / admin update
2020-08-20T16:09:31updateSystem / admin update
2020-08-19T17:38:30updateSystem / admin update
2020-08-19T16:09:12updateSystem / admin update
2020-08-18T17:45:54updateSystem / admin update
2020-08-18T16:12:22updateSystem / admin update
2020-08-17T17:47:21updateSystem / admin update
2020-08-17T16:13:26updateSystem / admin update
2020-08-16T17:41:05updateSystem / admin update
2020-08-16T16:11:34updateSystem / admin update
2020-08-15T17:31:53updateSystem / admin update
2020-08-15T16:03:01updateSystem / admin update
2020-08-14T17:41:55updateSystem / admin update
2020-08-14T16:11:39updateSystem / admin update
2020-08-13T17:50:42updateSystem / admin update
2020-08-13T16:17:05updateSystem / admin update
2020-08-12T17:49:23updateSystem / admin update
2020-08-12T16:15:17updateSystem / admin update
2020-08-11T17:44:18updateSystem / admin update
2020-08-11T16:12:10updateSystem / admin update
2020-08-10T17:44:19updateSystem / admin update
2020-08-10T16:12:27updateSystem / admin update
2020-08-09T17:41:04updateSystem / admin update
2020-08-09T16:12:42updateSystem / admin update
2020-08-08T18:06:50updateSystem / admin update
2020-08-08T16:35:01updateSystem / admin update
2020-08-07T17:45:55updateSystem / admin update
2020-08-07T16:15:11updateSystem / admin update
2020-08-06T18:12:14updateSystem / admin update
2020-08-06T16:34:44updateSystem / admin update
2020-08-05T18:07:11updateSystem / admin update
2020-08-05T16:33:08updateSystem / admin update
2020-08-04T17:56:16updateSystem / admin update
2020-08-04T16:17:01updateSystem / admin update
2020-08-03T18:08:58updateSystem / admin update
2020-08-03T16:29:37updateSystem / admin update
2020-08-02T16:26:50updateSystem / admin update
2020-08-02T14:36:30updateSystem / admin update
2020-07-31T18:18:56updateSystem / admin update
2020-07-31T16:31:13updateSystem / admin update
2020-07-30T18:17:30updateSystem / admin update
2020-07-30T16:32:41updateSystem / admin update
2020-07-29T18:11:07updateSystem / admin update
2020-07-29T16:26:38updateSystem / admin update
2020-07-28T18:18:32updateSystem / admin update
2020-07-28T16:37:04updateSystem / admin update
2020-07-27T18:44:50updateSystem / admin update
2020-07-27T16:44:17updateSystem / admin update
2020-07-26T18:14:02updateSystem / admin update
2020-07-26T16:26:21updateSystem / admin update
2020-07-25T18:10:01updateSystem / admin update
2020-07-25T16:23:48updateSystem / admin update
2020-07-24T18:14:11updateSystem / admin update
2020-07-24T16:30:24updateSystem / admin update
2020-07-23T18:06:50updateSystem / admin update
2020-07-23T16:24:45updateSystem / admin update
2020-07-22T18:21:04updateSystem / admin update
2020-07-22T16:38:36updateSystem / admin update
2020-07-21T17:59:49updateSystem / admin update
2020-07-21T16:21:53updateSystem / admin update
2020-07-20T17:58:02updateSystem / admin update
2020-07-20T16:18:27updateSystem / admin update
2020-07-19T17:59:24updateSystem / admin update
2020-07-19T16:20:13updateSystem / admin update
2020-07-18T17:53:15updateSystem / admin update
2020-07-18T16:15:35updateSystem / admin update
2020-07-17T17:57:48updateSystem / admin update
2020-07-17T16:16:56updateSystem / admin update
2020-07-16T18:04:40updateSystem / admin update
2020-07-16T16:26:13updateSystem / admin update
2020-07-15T18:09:25updateSystem / admin update
2020-07-15T16:28:35updateSystem / admin update
2020-07-14T17:59:50updateSystem / admin update
2020-07-14T16:16:34updateSystem / admin update
2020-07-13T18:26:39updateSystem / admin update
2020-07-13T16:16:57updateSystem / admin update
2020-07-12T17:44:07updateSystem / admin update
2020-07-12T16:11:42updateSystem / admin update
2020-07-11T17:54:05updateSystem / admin update
2020-07-11T16:19:57updateSystem / admin update
2020-07-10T18:00:15updateSystem / admin update
2020-07-10T16:26:10updateSystem / admin update
2020-07-09T17:49:42updateSystem / admin update
2020-07-09T16:15:26updateSystem / admin update
2020-07-08T17:51:22updateSystem / admin update
2020-07-08T16:16:48updateSystem / admin update
2020-07-07T18:00:28updateSystem / admin update
2020-07-07T16:25:58updateSystem / admin update
2020-07-06T17:53:43updateSystem / admin update
2020-07-06T16:16:02updateSystem / admin update
2020-07-05T17:40:27updateSystem / admin update
2020-07-05T16:02:44updateSystem / admin update
2020-07-04T17:42:18updateSystem / admin update
2020-07-04T16:07:30updateSystem / admin update
2020-07-03T18:18:53updateSystem / admin update
2020-07-03T16:35:34updateSystem / admin update
2020-07-02T17:38:29updateSystem / admin update
2020-07-02T16:07:37updateSystem / admin update
2020-07-01T17:57:49updateSystem / admin update
2020-07-01T16:15:01updateSystem / admin update
2020-06-30T18:13:52updateSystem / admin update
2020-06-30T16:27:26updateSystem / admin update
2020-06-29T18:39:43updateSystem / admin update
2020-06-29T16:47:28updateSystem / admin update
2020-06-28T18:25:00updateSystem / admin update
2020-06-28T16:40:03updateSystem / admin update
2020-06-27T18:20:14updateSystem / admin update
2020-06-27T16:38:03updateSystem / admin update
2020-06-26T18:29:44updateSystem / admin update
2020-06-26T16:42:50updateSystem / admin update
2020-06-25T18:30:38updateSystem / admin update
2020-06-25T16:43:05updateSystem / admin update
2020-06-24T18:31:18updateSystem / admin update
2020-06-24T16:44:45updateSystem / admin update
2020-06-23T17:03:54updateSystem / admin update
2020-06-23T15:13:31updateSystem / admin update
2020-06-21T18:31:08updateSystem / admin update
2020-06-21T16:41:31updateSystem / admin update
2020-06-20T18:11:53updateSystem / admin update
2020-06-20T16:25:43updateSystem / admin update
2020-06-19T18:52:34updateSystem / admin update
2020-06-19T17:02:31updateSystem / admin update
2020-06-18T18:41:54updateSystem / admin update
2020-06-18T16:48:47updateSystem / admin update
2020-06-17T20:28:04updateSystem / admin update
2020-06-17T16:52:15updateSystem / admin update
2020-06-15T19:51:39updateSystem / admin update
2020-06-15T17:46:11updateSystem / admin update
2020-06-14T18:51:42updateSystem / admin update
2020-06-14T17:11:44updateSystem / admin update
2020-06-13T18:48:35updateSystem / admin update
2020-06-13T17:13:01updateSystem / admin update
2020-06-12T14:29:52updateSystem / admin update
2020-06-11T18:40:55updateSystem / admin update
2020-06-11T14:33:10updateSystem / admin update
2020-06-10T18:37:31updateSystem / admin update
2020-06-10T14:31:40updateSystem / admin update
2020-06-09T18:48:22updateSystem / admin update
2020-06-09T14:31:42updateSystem / admin update
2020-06-08T18:40:14updateSystem / admin update
2020-06-08T14:34:39updateSystem / admin update
2020-06-07T18:28:29updateSystem / admin update
2020-06-07T14:33:20updateSystem / admin update
2020-06-06T18:29:06updateSystem / admin update
2020-06-06T14:31:10updateSystem / admin update
2020-06-05T18:38:41updateSystem / admin update
2020-06-05T14:30:47updateSystem / admin update
2020-06-04T18:38:53updateSystem / admin update
2020-06-04T14:34:27updateSystem / admin update
2020-06-03T18:36:39updateSystem / admin update
2020-06-03T14:34:06updateSystem / admin update
2020-06-02T18:29:42updateSystem / admin update
2020-06-02T14:32:08updateSystem / admin update
2020-06-01T19:05:07updateSystem / admin update
2020-06-01T14:36:34updateSystem / admin update
2020-05-31T18:59:24updateSystem / admin update
2020-05-31T14:47:55updateSystem / admin update
2020-05-30T18:54:23updateSystem / admin update
2020-05-30T14:35:19updateSystem / admin update
2020-05-29T19:40:55updateSystem / admin update
2020-05-29T15:27:37updateSystem / admin update
2020-05-28T19:46:31updateSystem / admin update
2020-05-28T14:49:50updateSystem / admin update
2020-05-27T19:05:48updateSystem / admin update
2020-05-27T14:37:09updateSystem / admin update
2020-05-26T19:39:40updateSystem / admin update
2020-05-26T14:45:08updateSystem / admin update
2020-05-25T18:49:01updateSystem / admin update
2020-05-25T14:33:37updateSystem / admin update
2020-05-24T18:46:21updateSystem / admin update
2020-05-24T14:34:52updateSystem / admin update
2020-05-23T18:35:58updateSystem / admin update
2020-05-23T14:32:01updateSystem / admin update
2020-05-22T18:56:18updateSystem / admin update
2020-05-22T14:31:13updateSystem / admin update
2020-05-21T18:51:06updateSystem / admin update
2020-05-21T14:35:58updateSystem / admin update
2020-05-20T19:25:27updateSystem / admin update
2020-05-20T14:41:53updateSystem / admin update
2020-05-19T19:07:14updateSystem / admin update
2020-05-19T14:38:40updateSystem / admin update
2020-05-18T18:43:11updateSystem / admin update
2020-05-18T14:32:00updateSystem / admin update
2020-05-17T18:31:28updateSystem / admin update
2020-05-17T14:28:43updateSystem / admin update
2020-05-16T18:33:15updateSystem / admin update
2020-05-16T14:30:56updateSystem / admin update
2020-05-15T19:32:03updateSystem / admin update
2020-05-15T14:32:29updateSystem / admin update
2020-05-15T14:13:07updateSystem / admin update
2020-05-14T19:20:21updateSystem / admin update
2020-05-14T14:30:09updateSystem / admin update
2020-05-13T19:26:20updateSystem / admin update
2020-05-13T14:30:56updateSystem / admin update
2020-05-12T19:08:20updateSystem / admin update
2020-05-12T14:32:03updateSystem / admin update
2020-05-11T19:43:12updateSystem / admin update
2020-05-11T15:38:07updateSystem / admin update
2020-05-10T18:31:24updateSystem / admin update
2020-05-10T14:26:31updateSystem / admin update
2020-05-09T18:31:02updateSystem / admin update
2020-05-09T14:27:17updateSystem / admin update
2020-05-08T19:25:36updateSystem / admin update
2020-05-08T15:15:11updateSystem / admin update
2020-05-07T18:42:33updateSystem / admin update
2020-05-07T15:19:49updateSystem / admin update
2020-05-06T16:02:38update
2020-05-06T16:00:01update
2020-05-06T15:59:52update
2020-05-06T18:45:42updateSystem / admin update
2019-05-17T03:20:38updateSystem / admin update
2019-05-16T16:37:47addSystem / admin update