共 50 条
- [22] A Separation Logic for Fictional Sequential Consistency PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 736 - 761
- [28] Consistency and interpolation in linear continuous logic Archive for Mathematical Logic, 2023, 62 : 931 - 939
- [30] Strengthening Consistency Results in Modal Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 4 - 15