其他
发表于 2025-3-23 10:17:00
http://reply.papertrans.cn/59/5880/587969/587969_11.png
ANIM
发表于 2025-3-23 16:32:16
http://reply.papertrans.cn/59/5880/587969/587969_12.png
祖传
发表于 2025-3-23 21:25:46
http://reply.papertrans.cn/59/5880/587969/587969_13.png
RAGE
发表于 2025-3-24 00:19:39
978-3-031-26688-1The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
尖
发表于 2025-3-24 06:06:01
Logic and Its Applications978-3-031-26689-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
Entreaty
发表于 2025-3-24 09:36:49
,Relational Semantics for Normal Topological Quasi-Boolean Logic,This work introduces modal logics for varieties of normal topological quasi-Boolean algebras. Relational semantics for these modal logics using involutive frames are established. A discrete duality is given for involutive frames and normal topological quasi-Boolean algebras. Some results on Kripke-completeness and finite model property are given.
crockery
发表于 2025-3-24 13:02:28
,Modal Logic of Generalized Separated Topological Spaces,nterpret . as the derived set operator in a topological space, the class of all .-spaces is .-defined by the modal formula ., and we show that . is the .-logic of all .-spaces. For ., the class of all .-spaces is not .-definable.
祝贺
发表于 2025-3-24 18:37:29
http://reply.papertrans.cn/59/5880/587969/587969_18.png
Deadpan
发表于 2025-3-24 22:45:40
http://reply.papertrans.cn/59/5880/587969/587969_19.png
随意
发表于 2025-3-24 23:11:23
,Labelled Calculi for the Logics of Rough Concepts,re the labels are atomic formulas of the first order language of ., i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of ..