共 50 条
- [4] On the completeness of classical modal display logic PROOF THEORY OF MODAL LOGIC, 1996, 2 : 137 - 140
- [5] ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 379 - &
- [7] A Modal Logic for Uncertainty: a Completeness Theorem INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 119 - 129
- [9] Algorithmic Definability and Completeness in Modal Logic FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 6 - 8
- [10] Context Logic as Modal Logic: Completeness and Parametric Inexpressivity CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 123 - 134