共 50 条
- [3] Modal Type Theory Based on the Intuitionistic Modal Logic IEL- LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 236 - 248
- [5] A trust evaluation method based on logic and probability theory TRUST MANAGEMENT II, 2008, 263 : 17 - +
- [6] Lilac: A Modal Separation Logic for Conditional Probability PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI): : 148 - 171