共 50 条
- [41] Phase semantics for a pure noncommutative linear propositional logic Journal of Computer Science and Technology, 1999, 14 (02): : 135 - 139
- [42] Propositional Linear Temporal Logic with Initial Validity Semantics FORMALIZED MATHEMATICS, 2015, 23 (04): : 379 - 386
- [45] ON THE SEMANTICS OF COMPARATIVE LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (05): : 433 - 448
- [48] Game Semantics for Modal Logic with Counting ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, 2025, 2248 : 3 - 16
- [49] Partial Semantics for Quantified Modal Logic Journal of Philosophical Logic, 2018, 47 : 1049 - 1060