Journal of Logic and Computation. 2010;20(5):1041-1068. doi: 10.1093/logcom/exn093 Q40.72025

Exemplaric Expressivity of Modal Logics

模态逻辑的典型表达

DOI: 10.1093/logcom/exn093

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！