共 50 条
- [31] On Some of the Problem of Logical Semantics EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2011, 28 (02): : 97 - +
- [38] Logical specification of operational semantics COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 32 - 49
- [40] ON SECONDARY SEMANTICS FOR LOGICAL MODALITIES PACIFIC PHILOSOPHICAL QUARTERLY, 1981, 62 (01): : 86 - 94