量化逻辑--Hella, Lauri - Existential second-order logic and modal logic with qu ...

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Accepted Manuscript
Existential second-order logic and modal logic with quantified accessibility relations

Lauri Hella, Antti Kuusisto


PII:       S0890-5401(16)00004-3
DOI:       http://dx.doi.org/10.1016/j.ic.2016.01.003
Reference:    YINCO 4150
To appear in:   Information and Computation
Received date:  17 July 2013
Revised date:   4 July 2015

Please cite this article in press as: L. Hella, A. Kuusisto, Existential second-order logic and modal logic with quantified accessibility
relations, ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Second Logic exist secon Order