Revision history for entry Lin, Yuanlei; Ma, Minghui: Belnap–Dunn Modal Logic with Value Operators [LINBML]

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