²é¿´: 1140  |  »Ø¸´: 4
µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû

shumolynu

½ð³æ (ÕýʽдÊÖ)

[ÇóÖú] Ë­°ïÎÒ²é²éÎÒµÄһƪÖÐÎÄÎÄÕÂÊÇ·ñ±»EIÊÕ¼ ·Ç³£¸Ðл

×÷ÕߣºÓÚº££¬Õ²ÍñÈÙ£¬ÕÅÈðÁá¡£
ÎÄÕÂÌâÄ¿£ºÄ£Ì¬Âß¼­S4µÄ¸²¸ÇÓïÒå¼°ÆäÍ걸ÐÔ
ÆÚ¿¯£ºµç×Óѧ±¨£¬2012,40(4)£º745-750.
Ë­°ïÎÒ²é²éÕâÆªÖÐÎÄÎÄÕÂÊÇ·ñ±»EIÊÕ¼ ·Ç³£¸Ðл¡£
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

shumolynu

½ð³æ (ÕýʽдÊÖ)

ÒýÓûØÌû:
2Â¥: Originally posted by xubin_szu at 2012-09-17 12:07:50
»¹Ã»ÓмìË÷µ½£¬¸Õ¸Õ²éµÄ¡£Â¥Ö÷Ï´Î×îºÃд³öÂÛÎĵÄÓ¢ÎÄÃû³Æ£¬±Ï¾¹EI¼ìË÷µÄÊÇÄãµÄÓ¢ÎÄÃûºÍÓ¢ÎÄÕªÒª

ллÌáÐÑ£¬ÒÔºó×¢Òâ
5Â¥2012-09-17 22:55:27
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
²é¿´È«²¿ 5 ¸ö»Ø´ð

xubin_szu

½ð³æ (ÖøÃûдÊÖ)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
»¹Ã»ÓмìË÷µ½£¬¸Õ¸Õ²éµÄ¡£Â¥Ö÷Ï´Î×îºÃд³öÂÛÎĵÄÓ¢ÎÄÃû³Æ£¬±Ï¾¹EI¼ìË÷µÄÊÇÄãµÄÓ¢ÎÄÃûºÍÓ¢ÎÄÕªÒª
2Â¥2012-09-17 12:07:50
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

chenghu

ľ³æ (ÖøÃûдÊÖ)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
¸Õ²éÁË£¬µç×Óѧ±¨Ó¦¸ÃÊÇEIÊÕ¼µÄ
3Â¥2012-09-17 12:23:49
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

qianxuxu

½ð³æ (СÓÐÃûÆø)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¡ï ¡ï ¡ï ¡ï ¡ï ¡ï ¡ï ¡ï ¡ï ¡ï
¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
shumolynu: ½ð±Ò+10, ¡ï¡ï¡ï¡ï¡ï×î¼Ñ´ð°¸, ·Ç³£Ð»Ð» 2012-09-17 22:34:03
°ÑÄã²éÁË£¬È·¶¨¼ìË÷ÁË


1.         Accession number:       
20122615179687
        Title:        Covering semantics of modal logic S4 and its completeness
        Authors:         Yu, Hai1 ; Zhan, Wan-Rong1 ; Zhang, Rui-Ling2
        Author affiliation:        1 Academy of Mathematics and Science, Luoyang Normal College, Luoyang, Henan 471022, China
                2 Academy of Information Technology, Luoyang Normal College, Luoyang, Henan 471022, China
        Corresponding author:         Zhang, R.-L. (ruilingzhang@163.com)
        Source title:        Tien Tzu Hsueh Pao/Acta Electronica Sinica
        Abbreviated source title:        Tien Tzu Hsueh Pao
        Volume:        40
        Issue:        4
        Issue date:        April 2012
        Publication year:        2012
        Pages:        745-750
        Language:        Chinese
        ISSN:         03722112
        CODEN:         TTHPAG
        Document type:        Journal article (JA)
        Publisher:        Chinese Institute of Electronics, P.O. Box 165, Beijing, 100036, China
        Abstract:        Based on the sixth type of covering-based rough set model, covering semantics of modal logic S4 is proposed. The reliability and completeness theorems with respect to covering semantics are proved by means of the relationships between covering model and Kripke model. Moreover, the relationships between covering semantics and Alexandrov topological semantics are also discussed. It is proved that covering semantics and Alexandrov topological semantics are harmonious and consistent.
        Number of references:        18
        Main heading:         Semantics
        Controlled terms:         Formal logic  -  Topology
        Uncontrolled terms:         Completeness  -  Completeness theorems  -  Covering model  -  Covering semsntics  -  Kripke model  -  Kripke semantics  -  Modal logic  -  Rough set models
        Classification code:         721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory -  903.2 Information Dissemination -  921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory
        DOI:        10.3969/j.issn.0372-2112.2012.04.020
        Database:        Compendex
                Compilation and indexing terms, © 2012 Elsevier Inc.
¼ÅįµÄÓã
4Â¥2012-09-17 12:32:58
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] ²ÄÁÏÓ뻯¹¤328·Öµ÷¼Á +6 ¡££¬¡££¬¡££¬¡£i 2026-03-23 6/300 2026-03-25 22:30 by 418490947
[¿¼ÑÐ] ²ÄÁÏÓ뻯¹¤¿¼Ñе÷¼Á +9 ‹üÈA 2026-03-22 9/450 2026-03-25 13:09 by cmz0325
[¿¼ÑÐ] Ò»Ö¾Ô¸ Î÷±±´óѧ £¬070300»¯Ñ§Ñ§Ë¶£¬×Ü·Ö287£¬Ë«·ÇÒ»±¾£¬Çóµ÷¼Á¡£ +4 ³¿»èÏßÓëÐǺ£ 2026-03-20 4/200 2026-03-25 10:16 by allen-yin
[¿¼ÑÐ] 286Çóµ÷¼Á +11 Faune 2026-03-21 11/550 2026-03-25 10:11 by ÎíÉ¢ºóÏàÓölc
[¿¼ÑÐ] 0703»¯Ñ§Çóµ÷¼Á +6 ÄÌÓͲÝÝ®. 2026-03-22 7/350 2026-03-25 10:00 by shangxh
[¿¼ÑÐ] Çóµ÷¼Á Ò»Ö¾Ô¸ ±¾¿Æ ±±¿Æ´ó »¯Ñ§ 343 +4 13831862839 2026-03-24 5/250 2026-03-25 09:47 by Î޼ʵIJÝÔ­
[¿¼ÑÐ] Ò»Ö¾Ô¸±±»¯315 Çóµ÷¼Á +3 akrrain 2026-03-24 3/150 2026-03-24 19:35 by ÁËÁËÁËÁË¡£¡£
[¿¼ÑÐ] 292Çóµ÷¼Á +4 ¶ì¶ì¶ì¶î¶î¶î¶î¶ 2026-03-24 4/200 2026-03-24 16:41 by peike
[¿¼ÑÐ] 269Çóµ÷¼Á +4 ÎÒÏë¶ÁÑÐ11 2026-03-23 4/200 2026-03-23 21:25 by pswait
[¿¼ÑÐ] Çóµ÷¼ÁÒ»Ö¾Ô¸º£´ó£¬0703»¯Ñ§Ñ§Ë¶304·Ö£¬Óдó´´ÏîÄ¿£¬Ëļ¶Òѹý +6 ÐÒÔËÁ¨Á¨ 2026-03-22 10/500 2026-03-22 20:10 by edmund7
[¿¼ÑÐ] ²ÄÁÏÇóµ÷¼Á +5 @taotao 2026-03-21 5/250 2026-03-21 20:55 by lbsjt
[¿¼ÑÐ] Çóµ÷¼Á +4 ÒªºÃºÃÎÞÁÄ 2026-03-21 4/200 2026-03-21 18:57 by ѧԱ8dgXkO
[¿¼ÑÐ] Çóµ÷¼Á +3 13341 2026-03-20 3/150 2026-03-21 18:28 by ѧԱ8dgXkO
[¿¼ÑÐ] ÇóÖú +5 ÃÎÀïµÄÎÞÑÔ 2026-03-21 6/300 2026-03-21 17:51 by ѧԱ8dgXkO
[¿¼ÑÐ] 265Çóµ÷¼Á +12 ÁºÁºÐ£Ð£ 2026-03-19 14/700 2026-03-21 13:38 by lature00
[¿¼ÑÐ] 288Çóµ÷¼Á +16 ÓÚº£º£º£º£ 2026-03-19 16/800 2026-03-20 22:28 by JourneyLucky
[¿¼ÑÐ] ÖÐÄÏ´óѧ»¯Ñ§Ñ§Ë¶337Çóµ÷¼Á +3 niko- 2026-03-19 6/300 2026-03-20 21:58 by luoyongfeng
[¿¼ÑÐ] ²ÄÁÏѧ˶297ÒѹýËÄÁù¼¶Çóµ÷¼ÁÍÆ¼ö +11 adaie 2026-03-19 11/550 2026-03-20 21:30 by laoshidan
[¿¼ÑÐ] Çóµ÷¼Á +3 @taotao 2026-03-20 3/150 2026-03-20 19:35 by JourneyLucky
[¿¼ÑÐ] 261ÇóBÇøµ÷¼Á£¬¿ÆÑо­Àú·á¸» +3 Å£Ä̺Üæ 2026-03-20 4/200 2026-03-20 19:34 by JourneyLucky
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û