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.
Time | Type | Notes |
2021-09-22T16:42:15 | update | |
2021-09-22T16:42:06 | update | |
2021-09-22T16:41:58 | update | |
2021-09-22T03:47:36 | update | System / admin update |
2021-09-22T02:33:11 | update | System / admin update |
2021-09-21T23:17:50 | update | System / admin update |
2021-09-21T21:57:34 | update | System / admin update |
2021-09-21T18:47:41 | update | System / admin update |
2021-09-21T17:27:04 | update | System / admin update |
2021-09-21T14:11:53 | update | System / admin update |
2021-09-21T12:51:54 | update | System / admin update |
2021-09-21T09:49:48 | update | System / admin update |
2021-09-21T08:31:40 | update | System / admin update |
2021-09-21T05:32:20 | update | System / admin update |
2021-09-21T04:18:06 | update | System / admin update |
2021-09-21T01:21:38 | update | System / admin update |
2021-09-21T00:08:13 | update | System / admin update |
2021-09-20T21:07:37 | update | System / admin update |
2021-09-20T19:50:02 | update | System / admin update |
2021-09-20T16:47:20 | update | System / admin update |
2021-09-20T15:30:58 | update | System / admin update |
2021-09-20T12:26:47 | update | System / admin update |
2021-09-20T11:11:22 | update | System / admin update |
2021-09-20T08:10:15 | update | System / admin update |
2021-09-20T06:43:16 | update | System / admin update |
2021-09-20T03:39:29 | update | System / admin update |
2021-09-20T02:22:27 | update | System / admin update |
2021-09-19T23:08:16 | update | System / admin update |
2021-09-19T21:45:00 | update | System / admin update |
2021-09-19T18:37:36 | update | System / admin update |
2021-09-19T17:21:09 | update | System / admin update |
2021-09-19T14:19:03 | update | System / admin update |
2021-09-19T13:03:41 | update | System / admin update |
2021-09-19T10:01:57 | update | System / admin update |
2021-09-19T08:45:19 | update | System / admin update |
2021-09-19T01:38:20 | update | System / admin update |
2021-09-19T00:21:02 | update | System / admin update |
2021-09-18T21:15:26 | update | System / admin update |
2021-09-18T19:54:37 | update | System / admin update |
2021-09-18T16:20:25 | update | System / admin update |
2021-09-18T14:40:17 | update | System / admin update |
2021-09-18T11:04:48 | update | System / admin update |
2021-09-18T09:23:08 | update | System / admin update |
2021-09-18T05:36:23 | update | System / admin update |
2021-09-18T03:56:38 | update | System / admin update |
2021-09-17T23:48:35 | update | System / admin update |
2021-09-17T22:00:39 | update | System / admin update |
2021-09-17T17:49:11 | update | System / admin update |
2021-09-17T16:06:43 | update | System / admin update |
2021-09-17T12:07:06 | update | System / admin update |
2021-09-17T10:17:44 | update | System / admin update |
2021-09-17T02:02:12 | update | System / admin update |
2021-09-17T00:10:54 | update | System / admin update |
2021-09-16T20:30:44 | update | System / admin update |
2021-09-16T18:56:54 | update | System / admin update |
2021-09-16T12:13:36 | update | System / admin update |
2021-09-16T06:44:17 | update | System / admin update |
2021-09-16T03:29:49 | update | System / admin update |
2021-09-16T02:09:40 | update | System / admin update |
2021-09-15T22:54:35 | update | System / admin update |
2021-09-15T21:24:09 | update | System / admin update |
2021-09-15T17:36:20 | update | System / admin update |
2021-09-15T16:10:34 | update | System / admin update |
2021-09-15T12:54:00 | update | System / admin update |
2021-09-15T10:56:23 | update | System / admin update |
2021-09-15T01:59:48 | update | System / admin update |
2021-09-15T00:24:43 | update | System / admin update |
2021-09-14T20:23:11 | update | System / admin update |
2021-09-14T18:42:22 | update | System / admin update |
2021-09-14T14:35:39 | update | System / admin update |
2021-09-14T08:47:00 | update | System / admin update |
2021-09-14T03:16:44 | update | System / admin update |
2021-09-14T01:29:01 | update | System / admin update |
2021-09-13T21:24:34 | update | System / admin update |
2021-09-13T19:49:22 | update | System / admin update |
2021-09-13T15:57:40 | update | System / admin update |
2021-09-13T14:18:20 | update | System / admin update |
2021-09-13T10:39:17 | update | System / admin update |
2021-09-13T09:01:19 | update | System / admin update |
2021-09-12T19:07:48 | update | System / admin update |
2021-09-12T17:31:03 | update | System / admin update |
2021-09-12T13:54:54 | update | System / admin update |
2021-09-12T12:21:03 | update | System / admin update |
2021-09-12T08:29:21 | update | System / admin update |
2021-09-12T06:54:58 | update | System / admin update |
2021-09-12T03:11:38 | update | System / admin update |
2021-09-12T01:31:44 | update | System / admin update |
2021-09-11T21:32:21 | update | System / admin update |
2021-09-11T19:49:50 | update | System / admin update |
2021-09-11T15:42:52 | update | System / admin update |
2021-09-11T14:11:36 | update | System / admin update |
2021-09-11T10:48:37 | update | System / admin update |
2021-09-11T09:27:20 | update | System / admin update |
2021-09-11T05:40:50 | update | System / admin update |
2021-09-11T04:28:28 | update | System / admin update |
2021-09-11T01:23:41 | update | System / admin update |
2021-09-11T00:10:19 | update | System / admin update |
2021-09-10T21:08:23 | update | System / admin update |
2021-09-10T19:54:31 | update | System / admin update |
2021-09-10T16:45:00 | update | System / admin update |
2021-09-10T15:23:29 | update | System / admin update |
2021-09-10T12:10:40 | update | System / admin update |
2021-09-10T10:56:34 | update | System / admin update |
2021-09-10T07:51:26 | update | System / admin update |
2021-09-10T06:11:03 | update | System / admin update |
2021-09-10T02:30:58 | update | System / admin update |
2021-09-10T00:54:03 | update | System / admin update |
2021-09-09T20:34:15 | update | System / admin update |
2021-09-09T18:57:48 | update | System / admin update |
2021-09-09T15:14:18 | update | System / admin update |
2021-09-09T13:38:01 | update | System / admin update |
2021-09-09T10:13:26 | update | System / admin update |
2021-09-09T08:48:16 | update | System / admin update |
2021-09-09T05:24:56 | update | System / admin update |
2021-09-09T03:59:31 | update | System / admin update |
2021-09-09T00:20:52 | update | System / admin update |
2021-09-08T22:59:53 | update | System / admin update |
2021-09-08T19:11:08 | update | System / admin update |
2021-09-08T17:48:14 | update | System / admin update |
2021-09-08T14:15:36 | update | System / admin update |
2021-09-08T12:44:53 | update | System / admin update |
2021-09-08T09:22:22 | update | System / admin update |
2021-09-08T07:59:35 | update | System / admin update |
2021-09-08T04:40:42 | update | System / admin update |
2021-09-08T03:16:46 | update | System / admin update |
2021-09-07T23:51:24 | update | System / admin update |
2021-09-07T22:27:04 | update | System / admin update |
2021-09-07T18:52:21 | update | System / admin update |
2021-09-07T17:26:52 | update | System / admin update |
2021-09-07T13:45:31 | update | System / admin update |
2021-09-07T12:20:55 | update | System / admin update |
2021-09-07T08:59:59 | update | System / admin update |
2021-09-07T07:36:55 | update | System / admin update |
2021-09-07T04:18:05 | update | System / admin update |
2021-09-07T02:54:47 | update | System / admin update |
2021-09-06T23:27:20 | update | System / admin update |
2021-09-06T22:06:21 | update | System / admin update |
2021-09-06T18:37:30 | update | System / admin update |
2021-09-06T17:15:27 | update | System / admin update |
2021-09-06T13:45:54 | update | System / admin update |
2021-09-06T12:23:30 | update | System / admin update |
2021-09-06T08:59:06 | update | System / admin update |
2021-09-06T07:33:33 | update | System / admin update |
2021-09-06T03:59:25 | update | System / admin update |
2021-09-06T02:33:39 | update | System / admin update |
2021-09-05T23:00:48 | update | System / admin update |
2021-09-05T21:41:06 | update | System / admin update |
2021-09-05T18:25:13 | update | System / admin update |
2021-09-05T16:58:27 | update | System / admin update |
2021-09-05T13:36:50 | update | System / admin update |
2021-09-05T12:16:47 | update | System / admin update |
2021-09-05T08:51:25 | update | System / admin update |
2021-09-05T07:27:06 | update | System / admin update |
2021-09-05T04:07:10 | update | System / admin update |
2021-09-05T02:46:48 | update | System / admin update |
2021-09-04T23:25:35 | update | System / admin update |
2021-09-04T22:04:29 | update | System / admin update |
2021-09-04T18:44:30 | update | System / admin update |
2021-09-04T17:23:31 | update | System / admin update |
2021-09-04T14:03:10 | update | System / admin update |
2021-09-04T12:39:56 | update | System / admin update |
2021-09-04T09:24:07 | update | System / admin update |
2021-09-04T07:54:20 | update | System / admin update |
2021-09-03T15:44:04 | update | System / admin update |
2021-09-03T14:14:15 | update | System / admin update |
2021-09-03T10:34:00 | update | System / admin update |
2021-09-03T08:56:55 | update | System / admin update |
2021-09-03T05:23:26 | update | System / admin update |
2021-09-03T03:51:48 | update | System / admin update |
2021-09-03T00:07:31 | update | System / admin update |
2021-09-02T22:39:41 | update | System / admin update |
2021-09-02T18:32:53 | update | System / admin update |
2021-09-02T17:01:16 | update | System / admin update |
2021-09-02T13:16:41 | update | System / admin update |
2021-09-02T11:46:09 | update | System / admin update |
2021-09-02T08:08:26 | update | System / admin update |
2021-09-02T06:42:05 | update | System / admin update |
2021-09-02T03:30:51 | update | System / admin update |
2021-09-02T02:16:41 | update | System / admin update |
2021-09-01T22:56:52 | update | System / admin update |
2021-09-01T21:40:06 | update | System / admin update |
2021-09-01T18:09:22 | update | System / admin update |
2021-09-01T16:50:45 | update | System / admin update |
2021-09-01T13:26:05 | update | System / admin update |
2021-09-01T11:59:30 | update | System / admin update |
2021-09-01T08:50:22 | update | System / admin update |
2021-09-01T07:32:10 | update | System / admin update |
2021-09-01T03:45:39 | update | System / admin update |
2021-09-01T02:21:00 | update | System / admin update |
2021-08-31T22:27:02 | update | System / admin update |
2021-08-31T20:47:47 | update | System / admin update |
2021-08-31T16:36:36 | update | System / admin update |
2021-08-31T14:59:08 | update | System / admin update |
2021-08-31T06:13:27 | update | System / admin update |
2021-08-31T04:39:23 | update | System / admin update |
2021-08-31T00:45:07 | update | System / admin update |
2021-08-30T23:12:30 | update | System / admin update |
2021-08-30T19:27:48 | update | System / admin update |
2021-08-30T17:51:29 | update | System / admin update |
2021-08-30T14:01:39 | update | System / admin update |
2021-08-30T12:36:39 | update | System / admin update |
2021-08-30T09:19:15 | update | System / admin update |
2021-08-30T07:41:18 | update | System / admin update |
2021-08-30T04:16:08 | update | System / admin update |
2021-08-30T02:54:03 | update | System / admin update |
2021-08-29T23:40:57 | update | System / admin update |
2021-08-29T22:22:46 | update | System / admin update |
2021-08-29T19:14:38 | update | System / admin update |
2021-08-29T17:59:36 | update | System / admin update |
2021-08-29T14:50:38 | update | System / admin update |
2021-08-29T13:35:21 | update | System / admin update |
2021-08-29T10:28:44 | update | System / admin update |
2021-08-29T09:05:39 | update | System / admin update |
2021-08-29T05:17:03 | update | System / admin update |
2021-08-29T04:01:22 | update | System / admin update |
2021-08-29T00:41:12 | update | System / admin update |
2021-08-28T23:26:58 | update | System / admin update |
2021-08-28T20:06:49 | update | System / admin update |
2021-08-28T18:50:47 | update | System / admin update |
2021-08-28T15:45:32 | update | System / admin update |
2021-08-28T14:31:50 | update | System / admin update |
2021-08-28T11:15:44 | update | System / admin update |
2021-08-28T10:02:15 | update | System / admin update |
2021-08-28T06:37:02 | update | System / admin update |
2021-08-28T05:09:11 | update | System / admin update |
2021-08-28T01:14:28 | update | System / admin update |
2021-08-27T23:44:04 | update | System / admin update |
2021-08-27T19:50:55 | update | System / admin update |
2021-08-27T18:19:22 | update | System / admin update |
2021-08-27T14:09:21 | update | System / admin update |
2021-08-27T12:38:25 | update | System / admin update |
2021-08-27T08:58:49 | update | System / admin update |
2021-08-27T07:28:22 | update | System / admin update |
2021-08-27T03:49:48 | update | System / admin update |
2021-08-27T02:22:16 | update | System / admin update |
2021-08-26T22:39:53 | update | System / admin update |
2021-08-26T21:18:56 | update | System / admin update |
2021-08-26T17:51:59 | update | System / admin update |
2021-08-26T16:35:11 | update | System / admin update |
2021-08-26T13:23:06 | update | System / admin update |
2021-08-26T12:06:55 | update | System / admin update |
2021-08-26T08:56:14 | update | System / admin update |
2021-08-26T07:40:21 | update | System / admin update |
2021-08-26T04:42:59 | update | System / admin update |
2021-08-26T03:22:03 | update | System / admin update |
2021-08-26T00:04:05 | update | System / admin update |
2021-08-25T22:49:48 | update | System / admin update |
2021-08-25T19:19:37 | update | System / admin update |
2021-08-25T17:52:23 | update | System / admin update |
2021-08-25T14:03:02 | update | System / admin update |
2021-08-25T12:33:38 | update | System / admin update |
2021-08-25T09:01:31 | update | System / admin update |
2021-08-25T07:32:03 | update | System / admin update |
2021-08-25T03:53:06 | update | System / admin update |
2021-08-25T02:23:59 | update | System / admin update |
2021-08-24T22:45:35 | update | System / admin update |
2021-08-24T21:08:01 | update | System / admin update |
2021-08-24T17:22:36 | update | System / admin update |
2021-08-24T15:50:13 | update | System / admin update |
2021-08-24T12:05:11 | update | System / admin update |
2021-08-24T10:37:56 | update | System / admin update |
2021-08-24T06:20:11 | update | System / admin update |
2021-08-24T04:54:29 | update | System / admin update |
2021-08-24T01:05:05 | update | System / admin update |
2021-08-23T23:29:00 | update | System / admin update |
2021-08-23T19:57:29 | update | System / admin update |
2021-08-23T17:22:55 | update | System / admin update |
2021-08-23T13:39:48 | update | System / admin update |
2021-08-23T11:57:34 | update | System / admin update |
2021-08-23T08:24:19 | update | System / admin update |
2021-08-23T06:33:46 | update | System / admin update |
2021-08-23T02:37:47 | update | System / admin update |
2021-08-23T01:13:51 | update | System / admin update |
2021-08-22T21:24:51 | update | System / admin update |
2021-08-22T19:54:42 | update | System / admin update |
2021-08-22T16:25:12 | update | System / admin update |
2021-08-22T14:59:44 | update | System / admin update |
2021-08-22T11:36:03 | update | System / admin update |
2021-08-22T10:09:25 | update | System / admin update |
2021-08-22T06:24:53 | update | System / admin update |
2021-08-22T05:02:34 | update | System / admin update |
2021-08-22T01:39:05 | update | System / admin update |
2021-08-22T00:14:06 | update | System / admin update |
2021-08-21T20:48:29 | update | System / admin update |
2021-08-21T19:24:29 | update | System / admin update |
2021-08-21T15:59:36 | update | System / admin update |
2021-08-21T14:35:18 | update | System / admin update |
2021-08-21T11:10:47 | update | System / admin update |
2021-08-21T09:46:20 | update | System / admin update |
2021-08-21T06:22:32 | update | System / admin update |
2021-08-21T04:56:22 | update | System / admin update |
2021-08-21T01:11:58 | update | System / admin update |
2021-08-20T23:48:54 | update | System / admin update |
2021-08-20T20:11:00 | update | System / admin update |
2021-08-20T18:45:48 | update | System / admin update |
2021-08-20T14:47:22 | update | System / admin update |
2021-08-20T13:18:35 | update | System / admin update |
2021-08-20T09:42:54 | update | System / admin update |
2021-08-20T08:12:52 | update | System / admin update |
2021-08-20T04:51:29 | update | System / admin update |
2021-08-20T03:26:24 | update | System / admin update |
2021-08-19T23:48:17 | update | System / admin update |
2021-08-19T22:20:51 | update | System / admin update |
2021-08-19T18:22:29 | update | System / admin update |
2021-08-19T16:55:35 | update | System / admin update |
2021-08-19T13:16:34 | update | System / admin update |
2021-08-19T11:39:54 | update | System / admin update |
2021-08-17T23:40:23 | update | System / admin update |
2021-08-17T18:38:53 | update | System / admin update |
2021-08-17T13:28:15 | update | System / admin update |
2021-08-17T08:52:44 | update | System / admin update |
2021-08-17T04:15:32 | update | System / admin update |
2021-08-13T08:51:11 | update | System / admin update |
2021-08-13T07:32:53 | update | System / admin update |
2021-08-13T04:21:50 | update | System / admin update |
2021-08-13T03:04:26 | update | System / admin update |
2021-08-12T23:45:05 | update | System / admin update |
2021-08-12T22:34:20 | update | System / admin update |
2021-08-12T19:18:49 | update | System / admin update |
2021-08-12T18:02:26 | update | System / admin update |
2021-08-12T14:42:36 | update | System / admin update |
2021-08-12T13:21:31 | update | System / admin update |
2021-08-12T05:00:23 | update | System / admin update |
2021-08-12T03:19:57 | update | System / admin update |
2021-08-11T23:52:50 | update | System / admin update |
2021-08-11T22:35:50 | update | System / admin update |
2021-08-11T19:09:20 | update | System / admin update |
2021-08-11T17:51:26 | update | System / admin update |
2021-08-11T14:33:16 | update | System / admin update |
2021-08-11T13:08:33 | update | System / admin update |
2021-08-11T09:52:42 | update | System / admin update |
2021-08-11T08:00:36 | update | System / admin update |
2021-08-11T04:39:22 | update | System / admin update |
2021-08-11T03:15:37 | update | System / admin update |
2021-08-10T23:46:02 | update | System / admin update |
2021-08-10T22:25:02 | update | System / admin update |
2021-08-10T18:48:18 | update | System / admin update |
2021-08-10T17:31:26 | update | System / admin update |
2021-08-10T14:18:51 | update | System / admin update |
2021-08-10T12:57:43 | update | System / admin update |
2021-08-10T09:41:12 | update | System / admin update |
2021-08-10T08:20:50 | update | System / admin update |
2021-08-10T04:55:06 | update | System / admin update |
2021-08-10T03:41:34 | update | System / admin update |
2021-08-10T00:32:05 | update | System / admin update |
2021-08-09T23:17:21 | update | System / admin update |
2021-08-09T19:56:34 | update | System / admin update |
2021-08-09T18:39:40 | update | System / admin update |
2021-08-04T12:33:16 | update | System / admin update |
2021-08-04T11:04:10 | update | System / admin update |
2021-08-03T12:51:21 | update | System / admin update |
2021-08-03T11:16:42 | update | System / admin update |
2021-08-02T12:22:45 | update | System / admin update |
2021-08-02T10:53:10 | update | System / admin update |
2021-08-01T12:27:20 | update | System / admin update |
2021-08-01T10:57:37 | update | System / admin update |
2021-07-31T12:30:04 | update | System / admin update |
2021-07-31T10:59:31 | update | System / admin update |
2021-07-30T13:38:38 | update | System / admin update |
2021-07-30T12:02:08 | update | System / admin update |
2021-07-29T15:37:03 | update | System / admin update |
2021-07-29T13:59:27 | update | System / admin update |
2021-07-28T13:04:09 | update | System / admin update |
2021-07-28T11:14:01 | update | System / admin update |
2021-07-27T12:34:16 | update | System / admin update |
2021-07-27T11:00:37 | update | System / admin update |
2021-07-26T14:02:36 | update | System / admin update |
2021-07-26T12:32:46 | update | System / admin update |
2021-07-25T08:52:51 | update | System / admin update |
2021-07-25T07:36:15 | update | System / admin update |
2021-07-24T08:47:58 | update | System / admin update |
2021-07-24T07:29:50 | update | System / admin update |
2021-07-23T11:12:38 | update | System / admin update |
2021-07-23T09:51:12 | update | System / admin update |
2021-07-22T11:17:26 | update | System / admin update |
2021-07-22T09:34:22 | update | System / admin update |
2021-07-21T09:26:47 | update | System / admin update |
2021-07-21T07:44:13 | update | System / admin update |
2021-07-20T09:19:07 | update | System / admin update |
2021-07-20T07:43:41 | update | System / admin update |
2021-07-19T09:24:37 | update | System / admin update |
2021-07-19T08:16:03 | update | System / admin update |
2021-07-19T07:50:17 | update | System / admin update |
2020-10-01T16:25:10 | update | System / admin update |
2020-10-01T14:20:45 | update | System / admin update |
2020-10-01T13:31:27 | add | System / admin update |
loading ..