共 50 条
- [24] Decidability of Multi-modal Logic LTK of Linear Time and Knowledge JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2013, 6 (02): : 220 - 226
- [28] REDUCTION OF TENSE LOGIC TO MODAL LOGIC NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A12 - A12
- [30] Justification logic for constructive modal logic Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332