共 50 条
- [22] Interval logic in two-dimensional time Jisuanji Xuebao/Chinese Journal of Computers, 1999, 22 (05): : 455 - 459
- [23] A two-dimensional logic for diagonalization and the a priori SYNTHESE, 2021, 198 (09) : 8307 - 8322
- [30] On the expressive power of first-order modal logic with two-dimensional operators Synthese, 2018, 195 : 4373 - 4417