共 50 条
- [4] The Incompleteness of S4 ⊕ S4 for the Product Space R x R [J]. STUDIA LOGICA, 2015, 103 (01) : 219 - 226
- [5] EVALUATION OF OPERATOR'S PERFORMANCE TRAINING WITH FORWARDER SIMULATOR [J]. CIENCIA FLORESTAL, 2010, 20 (01): : 177 - 186
- [6] Intuitionistic S4 is decidable [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
- [10] A RESOLUTION PROVER FOR S4 [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101