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