共 50 条
- [2] COMPLETENESS OF CHRONOLOGICAL LOGICS WITH MODAL OPERATORS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 487 - 496
- [5] Measuring Inconsistency in Some Logics with Modal Operators Studia Logica, 2021, 109 : 581 - 605
- [6] REDUCTION OF MODALITIES IN SEVERAL INTUITIONISTIC MODAL-LOGICS DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1980, 33 (06): : 743 - 745
- [9] Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators Journal of Philosophical Logic, 2001, 30 : 57 - 78
- [10] Modal Intuitionistic Logics as Dialgebraic Logics PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 355 - 369