The Expressive Power of Second-Order Propositional Modal Logic-猫眼课题宝

二阶命题模态逻辑的表达能力

DOI：

10.1305/ndjfl/1040067314

发表时间：

1996

期刊：

Notre Dame J. Formal Log.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

M. Kaminski;Michael L. Tiomkin