Модальные логики с оператором разрешимости (1103894), страница 3

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

‘®®²¢¥²±²¢³¾¹¨¥ ¨¬ «®£¨ª¨ ¤®ª § ²¥«¼±²¢ ± ®¯¥° ²®°®¬17 . ‚±¨«¼­®©¤®ª §³¥¬®±²¨\A=A&A ª±¨®¬ ²¨§¨°®¢ ­»¢[17]"§ ª«¾·¨²¥«¼­®¬ x 4.6 ·¥²¢¥°²®© £« ¢» ¬» ±²°®¨¬ ª±¨®¬ ²¨ª³ «®£¨ª¤®ª § ²¥«¼±²¢ ± ®¯¥° ²®°®¬ "±¨«¼­®© ° §°¥¸¨¬®±²¨\ BA = A _ :A.Ÿ§»ª «®£¨ª ¤®ª § ²¥«¼±²¢, ¯®±²°®¥­­»µ ¢ [16], ±®¤¥°¦¨² ¯¥°¥¬¥­­»¥ ¯® ¢»±ª §»¢ ­¨¿¬ SV = fS0; S1; : : :g ¨ ¯® ¤®ª § ²¥«¼±²¢ ¬ PV =fp0; p1; : : :g, ±¨¬¢®«» ?, !, ¨ ¤«¿ ª ¦¤®© p 2 PV ®¯¥° ²®° p (¯®¬¥·¥­­ ¿ ¬®¤ «¼­®±²¼).

‘µ¥¬ ¯®±²°®¥­¨¿ ¬­®¦¥±²¢ Fmp ´®°¬³« ½²®£®¿§»ª ±«¥¤³¾¹ ¿:? k Si k A ! B k A k pA:[16] S.Artemov, Logic of Proofs, Annals of Pure and Applied Logic, vol. 67 (1994), pp. 29{59.[17] E. Nogina, Logic of Proofs with Strong Provability Operator. International Conference on ProofTheory, Provability Logic and Computation (PPC'94), Berne, Switzeland, 1994, pp.

1{22.161710€ª±¨®¬ ²¨ª ¡ §®¢®© «®£¨ª¨: BGrz = Grz+(Aqr )+(Aqs+)+(Aqs ), £¤¥(Aqr) p A ! A(ª¢ §¨-°¥´«¥ª±¨¢­®±²¼)(Aqs+) p A ! p A(ª¢ §¨-±² ¡¨«¼­®±²¼)(Aqs ) :pA ! :p A (ª¢ §¨-±² ¡¨«¼­®±²¼)€ª±¨®¬ ²¨ª ´³­ª¶¨®­ «¼­®© ¨ £¥¤¥«¥¢±ª®© «®£¨ª ¤®ª § ²¥«¼±²¢:F Grz = BGrz + (Af ), MGrz = F GrzB + (Am), £¤¥(Af ) pA & p B ! (C ! D); ¥±«¨ C = D (mod A = B ),( ª±¨®¬ ´³­ª¶¨®­ «¼­®±²¨)(Am) :[q1 A2(q2) & q2 A3(q3) & : : : & qn A1(q1)];£¤¥ n > 1, qi 2 PV, ´®°¬³« Ai(qi) ±®¤¥°¦¨² qi,( ª±¨®¬ ¬®­®²®­­®±²¨) ®²­®¸¥­¨¥ C = D (mod A = B ) ­ ´®°¬³« µ ½²®£® ¿§»ª , ¢¢¥¤¥­­®¥¢ [16], ®§­ · ¥²: ¤«¿ «¾¡®© ¯®¤±² ­®¢ª¨ (A B =) C D).„ «¥¥, ¢¢®¤¨¬ ¿§»ª FmBp , ®²«¨· ¾¹¨©±¿ ®² Fmp «¨¸¼ § ¬¥­®© ±¨¬¢®« ­ B. ’¥¯¥°¼ ±´®°¬³«¨°³¥¬ ­ ¸³ ª±¨®¬ ²¨ª³ «®£¨ª ¤®ª § ²¥«¼±²¢ ± ®¯¥° ²®°®¬ ±¨«¼­®© ° §°¥¸¨¬®±²¨.

€ª±¨®¬ ²¨ª ¡ §®¢®© «®£¨ª¨: BGrzB = GrzB + (ABqr ) + (ABqd), £¤¥(ABqr ) pA ! A (ª¢ §¨-°¥´«¥ª±¨¢­®±²¼)(ABqd) Bp A(ª¢ §¨-° §°¥¸¨¬®±²¼)€ª±¨®¬ ²¨ª ´³­ª¶¨®­ «¼­®© ¨ £¥¤¥«¥¢±ª®© «®£¨ª ¤®ª § ²¥«¼±²¢:F GrzB = BGrzB + (ABf ), MGrzB = F GrzB + (ABm), £¤¥ ª±¨®¬» (ABf )¨ (ABm) ´®°¬³«¨°³¾²±¿ ­ «®£¨·­® ª±¨®¬ ¬ (Af ) ¨ (Am), ­® ³¦¥ ¢ ¿§»ª¥ FmBp . €°¨´¬¥²¨·¥±ª ¿ ¯®«­®² ¯®±²°®¥­­»µ ±¨±²¥¬ ¢»²¥ª ¥² ­¥¯®±°¥¤±²¢¥­­® ¨§ ±«¥¤³¾¹¥© ²¥®°¥¬».’¥®°¥¬ 5. „«¿ ª ¦¤®© L 2 fB, F , Mg ¨ «¾¡®© ´®°¬³«» A 2 FmBp±¯° ¢¥¤«¨¢ ½ª¢¨¢ «¥­²­®±²¼: LGrzB ` A () LGrz ` tr(A).Ž¡®§­ ·¨¬ ·¥°¥§ SV(A) ¨ PV(A) ¬­®¦¥±²¢ ¯¥°¥¬¥­­»µ ¯® ¢»±ª §»¢ ­¨¿¬ ¨ ¯¥°¥¬¥­­»µ ¯® ¤®ª § ²¥«¼±²¢ ¬, ¢µ®¤¿¹¨µ ¢ ´®°¬³«³ A, ² ª¦¥ Var A := SV(A) [ PV(A).Ž¯°¥¤¥«¥­¨¥ 4. ‹®£¨ª L (¢ ¿§»ª¥ Fmp ¨«¨ FmBp ) ®¡« ¤ ¥² ±« ¡»¬(±¨«¼­»¬ ) ¨­²¥°¯®«¿¶¨®­­»¬ ±¢®©±²¢®¬ Š°¥©£ , ¥±«¨ ¨§ L ` A ! C±«¥¤³¥² ±³¹¥±²¢®¢ ­¨¥ ² ª®© ´®°¬³«» B , ·²® L ` A ! B , L ` B ! C¨ SV(B ) SV(A) \ SV(C ) (±®®²¢.

Var B Var A \ Var C ).11‹¥¬¬ 3. ‹®£¨ª BGrzB ®¡« ¤ ¥² ±¨«¼­»¬, «®£¨ª¨ F GrzB ¨ MGrzB­¥ ®¡« ¤ ¾² ¤ ¦¥ ±« ¡»¬ ¨­²¥°¯®«¿¶¨®­­»¬ ±¢®©±²¢®¬ Š°¥©£ .¿² ¿ £« ¢ ¯®±¢¿¹¥­ ¢®¯°®± ¬ ¢»° §¨¬®±²¨ ±¢®©±²¢ ¸ª « Š°¨¯ª¥´®°¬³« ¬¨ B-¿§»ª . ‚ x 5.1 ¬» ³ª §»¢ ¥¬ "¢¥°µ­¾¾ £° ­¨¶³\ ¢»° §¨²¥«¼­»µ ¢®§¬®¦­®±²¥© B-¿§»ª (±¬. ²¥®°¥¬³ 6 ­¨¦¥).Ž¯°¥¤¥«¥­¨¥ 5. Š« ±± ¸ª « G ­ §®¢¥¬ -®¯°¥¤¥«¨¬»¬ (¢ ª« ±±¥ F ),¥±«¨ 9 Fm 8F (±®®²¢.

8F 2 F ): F 2 G , F j= . ‘¢®©±²¢® ¸ª «-¢»° §¨¬®, ¥±«¨ -®¯°¥¤¥«¨¬ ª« ±± ¸ª «, ®¡« ¤ ¾¹¨µ ½²¨¬ ±¢®©±²¢®¬.„«¿ B-¿§»ª ®¯°¥¤¥«¥­¨¿ ¤ ¾²±¿ ­ «®£¨·­®.’¥®°¥¬ 6. ‚±¿ª¨© ­¥¯³±²®© B-®¯°¥¤¥«¨¬»© ª« ±± ¸ª « Š°¨¯ª¥ ±®-¤¥°¦¨² ª« ±± ´³­ª¶¨®­ «¼­»µ ¸ª «.‘«¥¤±²¢¨¥ 2. Š« ±±» °¥´«¥ª±¨¢­»µ, ±¥°¨ «¼­»µ, ²° ­§¨²¨¢­»µ, ±¨¬¬¥²°¨·­»µ, ¥¢ª«¨¤®¢»µ ¸ª «, ² ª¦¥ «¾¡»¥ ¨µ ¯®¤ª« ±±» ­¥ ¿¢«¿¾²±¿ B-®¯°¥¤¥«¨¬»¬¨.„ ­­®¥ ±«¥¤±²¢¨¥ · ±²¨·­® (¤«¿ ¯¥°¢»µ ¯¿²¨ ª« ±±®¢) ¡»«® ¯®«³·¥­® ¢° ¡®²¥ [6] ¨§ ­¥±ª®«¼ª® ¤°³£¨µ ±®®¡° ¦¥­¨©.‚ x 5.2 ¬» ¯°¥¤º¿¢«¿¥¬ ´®°¬³«» ¯¥°¢®£® ¯®°¿¤ª , § ¤ ¾¹¨¥ ²¥ ¦¥ª« ±±» ¸ª « Š°¨¯ª¥, ·²® ¨ B- ª±¨®¬» ­¥ª®²®°»µ ° ±±¬®²°¥­­»µ ¢»¸¥«®£¨ª ° §°¥¸¨¬®±²¨.Ž¯°¥¤¥«¥­¨¥ 6. ’®·ª³ w ¸ª «» F = hW; "i ­ §®¢¥¬ ´³­ª¶¨®­ «¼­®©,¥±«¨ ¨§ ­¥¥ ¤®±²¨¦¨¬® ­¥ ¡®«¥¥ ®¤­®© ²®·ª¨; ½²® ±¢®©±²¢® ¢»° ¦ ¥²±¿ ´®°¬³«®© ¯¥°¢®£® ¯®°¿¤ª : Fnc(w) 8x; y#w (x = y).

’®·ª³ w, ­¥¿¢«¿¾¹³¾±¿ ´³­ª¶¨®­ «¼­®©, ¡³¤¥¬ ­ §»¢ ²¼ ¢¥²¢¿¹¥©±¿ ¨ ½²®² ´ ª²¡³¤¥¬ § ¯¨±»¢ ²¼ ¯®±°¥¤±²¢®¬ Bra(w). ‚¢¥¤¥¬ ®¡®§­ ·¥­¨¿ ¤«¿ ®£° ­¨·¥­­»µ ª¢ ­²®°®¢ ¯® ¢¥²¢¿¹¨¬±¿ ²®·ª ¬ ¨ ¯® ¢¥²¢¿¹¨¬±¿ ²®·ª ¬,¤®±²¨¦¨¬»¬ ¨§ ²®·ª¨ w:b8w '(w) 8w [Bra(w) ! '(w)];b9w '(w) 9w [Bra(w) ^ '(w)];b8x#w '(x) b8x [w"x ! '(x)];b9x#w '(x) b9x [w"x ^ '(x)]:ˆ§¢¥±²­® (±¬. [6]), ·²® ´®°¬³« Bp ®¯°¥¤¥«¿¥² ª« ±± ´³­ª¶¨®­ «¼­»µ ¸ª «, ². ¥.

§ ¤ ¢ ¥¬»µ ³±«®¢¨¥¬ b8w?. ”®°¬³«¨°³¥¬ ¿ ­¨¦¥ ²¥®°¥¬ ³²¢¥°¦¤ ¥², ·²® ª±¨®¬» (ABT), (AB4 ), (AB4[), (AB5 ), (AB5[) ¨ (AB5 ) ®¯°¥¤¥«¿¾² ª« ±±» ¸ª «, § ¤ ¢ ¥¬»¥ ±«¥¤³¾¹¨¬¨ (±®®²¢¥²±²¢³¾¹¨¬¨) ´®°¬³« ¬¨ ¯¥°¢®£® ¯®°¿¤ª (´¨£³°­»¥ ±ª®¡ª¨ ®§­ · ¾² ª®­º¾­ª¶¨¾ § ª«¾·¥­­»µ ¢ ­¨µ ´®°¬³«; w" := fx j w"xg; § ¯¨±¼ x" \ w" ®§­ · ¥², ·²®012¬­®¦¥±²¢ x" ¨ w" ¯¥°¥±¥ª ¾²±¿):b8w w"w('BT)b8w hb8x#w 8y#x w"y('B4 )n x" n w" = y" n w" oiBbb('4[) 8w 8x#w (x" w") _ 8x; y#w x" \ w" , y" \ w"b8w 8x; y#w x"y('B5 )('B5[) b8w [b9x#w ! 8x; y#w (x" = y")]('B5 ) b8w 8x; y#w x"y’¥®°¥¬ 7. F j= (ABS) , F j= ('BS ), ¤«¿ ª ¦¤®£® S 2 fT; 4; 4[; 5; 5[; 50 g¨ ¯°®¨§¢®«¼­®© ¸ª «» F .‘«¥¤±²¢¨¥ 3.

Ž¡®§­ ·¨¬ ·¥°¥§ Func, Tran ¨ Eucl ª« ±±» ´³­ª¶¨®­ «¼­»µ, ²° ­§¨²¨¢­»µ ¨ ¥¢ª«¨¤®¢»µ ¸ª « ±®®²¢¥²±²¢¥­­®; ·¥°¥§ F (A) |ª« ±± ¸ª «, ­ ª®²®°»µ ®¡¹¥§­ ·¨¬ ´®°¬³« A. ‘¯° ¢¥¤«¨¢» ±«¥¤³¾¹¨¥ ±²°®£¨¥ ¢ª«¾·¥­¨¿ ª« ±±®¢ ¸ª «. ‚±¥ ®±² «¼­»¥ ¢ª«¾·¥­¨¿ ¬¥¦¤³½²¨¬¨ ª« ±± ¬¨ ¢»²¥ª ¾² ¨§ ³ª § ­­»µ ­ ¤¨ £° ¬¬¥.Tran F (AB4 ) F (AB4[)0[[F (AB5[)\[BEucl F (A5 ) = F (AB5 )Func0’¥®°¥¬ 8.(1) ‚ ª« ±±¥ °¥´«¥ª±¨¢­»µ ¸ª «:( ) ª±¨®¬ (ABB) ¢»° ¦ ¥² ±¨¬¬¥²°¨·­®±²¼;(¡) ª ¦¤ ¿ ¨§ ª±¨®¬ (AB4 ), (AB4[) ¢»° ¦ ¥² ²° ­§¨²¨¢­®±²¼;(¢) ª ¦¤ ¿ ¨§ ª±¨®¬ (AB5 ), (AB5[) ¨ (AB5 ) ¢»° ¦ ¥² ¥¢ª«¨¤®¢®±²¼.(2) ‚ ª« ±±¥ °¥´«¥ª±¨¢­»µ ²° ­§¨²¨¢­»µ ¸ª «:(£) ª±¨®¬ (ABG) ¢»° ¦ ¥² ±« ¡³¾ ®¡° ²­³¾ ´³­¤¨°®¢ ­­®±²¼;(¤) ª±¨®¬ (AB1 ) ¢»° ¦ ¥² ±¢®©±²¢® Œ ªª¨­±¨.‚ x 5.3 ¨§³· ¥²±¿ ¨­´¨­¨² °­»© ®¯¥° ²®° \±« ¡®© ­¥®¡µ®¤¨¬®±²¨",0¢®§­¨ª¸¨© ¢ £« ¢¥ 2 ¢ µ®¤¥ ¤®ª § ²¥«¼±²¢ ²¥®°¥¬» 1:A = V B B(B ! A):B 2Fm“±² ­ ¢«¥­®, ·²® «®£¨ª L ½²®£® ®¯¥° ²®° ­ ¤ «¾¡®© ­®°¬ «¼­®© «®£¨ª®© L ¿¢«¿¥²±¿ ­®°¬ «¼­®©, ¨ ¡®«¥¥ ²®£®, ¤«¿ L 2 fK, K4, K5, K45,GLg ¨¬¥¥² ¬¥±²® ¢ª«¾·¥­¨¥ L L (± ²®·­®±²¼¾ ¤® § ¬¥­» ­ ).‚ ±«¥¤³¾¹¥¬ x 5.4 ¬» ³±² ­ ¢«¨¢ ¥¬ "¢¥°µ­¾¾ £° ­¨¶³\ ¢»° §¨²¥«¼­»µ ¢®§¬®¦­®±²¥© -¿§»ª , ­ «®£¨·­³¾ ­ ©¤¥­­®© ¢ ²¥®°¥¬¥ 6 ¨§ x 5.2:13¢±¿ª¨© ­¥¯³±²®© -®¯°¥¤¥«¨¬»© ª« ±± ¸ª « Š°¨¯ª¥ ±®¤¥°¦¨² ª« ±±´³­ª¶¨®­ «¼­»µ ¸ª «.

‚»±ª §»¢ ¥²±¿ £¨¯®²¥§ ® ±®¢¯ ¤¥­¨¨ ¢»° §¨²¥«¼­»µ ¢®§¬®¦­®±²¥© B- ¨ -¿§»ª®¢. ª®­¥¶, ¢ § ª«¾·¨²¥«¼­®¬ x 5.5 ¬» ³±² ­ ¢«¨¢ ¥¬, ·²® ª« ±±» ¸ª «,®¯°¥¤¥«¿¥¬»¥ -´®°¬³« ¬¨:(A4 ) p ! p(A5 ) : p ! : p§ ¤ ¾²±¿ ²¥¬¨ ¦¥ ³±«®¢¨¿¬¨ ('B4 ) ¨ ('B5 ) ¯¥°¢®£® ¯®°¿¤ª , ·²® ¨ ±®®²¢¥²±²¢³¾¹¨¥ B-´®°¬³«» (±¬. ²¥®°¥¬³ 7). Š°®¬¥ ²®£®, ®¡¥ \ ª±¨®¬»‹¥¡ "(ABL ) B(Bp ! p) ! Bp(AL ) (p ! p) ! p®²¢¥· ¾² ®¤­®¬³ ¨ ²®¬³ ¦¥ ³±«®¢¨¾ ¢²®°®£® ¯®°¿¤ª ('B4 ) & ('BL ), £¤¥('BL ) ¥±²¼ ³±«®¢¨¥ ®²±³²±²¢¨¿ ¡¥±ª®­¥·­»µ ¢®§° ±² ¾¹¨µ ¶¥¯¥© ¨§ ¢¥²¢¿¹¨µ±¿ ²®·¥ª.

’ ª¨¬ ®¡° §®¬, ¯® ±¢®¨¬ ±¢®©±²¢ ¬ ®¯¥° ²®° ±« ¡®©­¥®¡µ®¤¨¬®±²¨ ¨¬¥¥² °¿¤ ±µ®¤±²¢ ª ª ± ®¯¥° ²®°®¬ ­¥®¡µ®¤¨¬®±²¨ ,² ª ¨ ± ®¯¥° ²®°®¬ ­¥®¡µ®¤¨¬®±²¨ B.‡ ¤ · ­ µ®¦¤¥­¨¿ «®£¨ª¨ ®¯¥° ²®° ­ ¤ ²®© ¨«¨ ¨­®© «®£¨ª®© L,­ ¯¥°¢»© ¢§£«¿¤, ±²®¨² ¢ ±²®°®­¥ ®² ¢®¯°®±®¢ ¨±±«¥¤®¢ ­¨¿ «®£¨ª ° §°¥¸¨¬®±²¨; ®¤­ ª®, ®­ ¨¬¥¥² ´¨«®±®´±ª¨© ±¯¥ª². ’ ª, ¥±«¨ ®ª ¦¥²±¿,·²® K = K, ²® ¤ ­­»© °¥§³«¼² ² ¡³¤¥² ®§­ · ²¼, ·²®, ¢®¯°¥ª¨ ° ±¯°®±²° ­¥­­®¬³ ¬­¥­¨¾ (±¬., ­ ¯°¨¬¥°, [6], [7]), ®¯¥° ²®° ­¥®¡µ®¤¨¬®±²¨ ¢»° ¦ ¥²±¿ ·¥°¥§ ®¯¥° ²®° ° §°¥¸¨¬®±²¨ B, µ®²¿ ¨ ¢ ¡®«¥¥ ¸¨°®ª®¬±¬»±«¥ | ¢ ±¬»±«¥ ¬­®¦¥±²¢ ¬®¤ «¼­»µ § ª®­®¢, ª®²®°»¬ ¯®¤·¨­¿¥²±¿ ®¯¥° ²®° ­¥®¡µ®¤¨¬®±²¨.

ˆ±µ®¤¿ ¨§ ³¦¥ ¯®«³·¥­­»µ °¥§³«¼² ²®¢,¬®¦­® ±ª § ²¼, ·²® (¢ ½²®¬ ¦¥ ¸¨°®ª®¬ ±¬»±«¥) ·¥°¥§ ®¯¥° ²®° ° §°¥¸¨¬®±²¨ ¢»° ¦ ¥²±¿ ®¯¥° ²®° ­¥ª®²®°®© , ¡»²¼ ¬®¦¥², ®²«¨·­®© ®²¨±µ®¤­®©, ­¥®¡µ®¤¨¬®±²¨.€¢²®° ¢»° ¦ ¥² ¨±ª°¥­­¾¾ ¡« £®¤ °­®±²¼ ¯°®´¥±±®°³ ‘. . €°²¥¬®¢³ ¨ ¯°®´¥±±®°³ ‚. €. “±¯¥­±ª®¬³ § ­ ³·­®¥ °³ª®¢®¤±²¢® ¢¯°®¶¥±±¥ ° ¡®²» ­ ¤ ¤¨±±¥°² ¶¨¥©, ±² °¸¥¬³ ­ ³·­®¬³ ±®²°³¤­¨ª³‚.

. ˜¥µ²¬ ­³ ¨ ¤®¶¥­²³ ‚. . Š°³¯±ª®¬³ § ¨­²¥°¥± ª ° ¡®²¥ ¨ ¯®«¥§­»¥ ®¡±³¦¤¥­¨¿, ¤®¶¥­²³ Œ. . ¥­²³±³ § ¯®¤¤¥°¦ª³ ¯°¨ ­ ¯¨± ­¨¨²¥ª±² ¤¨±±¥°² ¶¨¨ ¨ ¶¥­­»¥ ±®¢¥²». Š°®¬¥ ²®£®, µ®·¥²±¿ ¢»° §¨²¼®£°®¬­³¾ ¯°¨§­ ²¥«¼­®±²¼ ¢±¥¬ ±®²°³¤­¨ª ¬ ª ´¥¤°» ¬ ²¥¬ ²¨·¥±ª®©«®£¨ª¨ ¨ ²¥®°¨¨ «£®°¨²¬®¢ Œƒ“ § ²¥¯«®¥ ®²­®¸¥­¨¥ ¨ ° ¡®·³¾ ²¬®±´¥°³, ª®²®° ¿ ±«®¦¨« ±¼ ­ ª ´¥¤°¥.14€Ž’› Ž ’…Œ… „ˆ‘‘…’€–ˆˆ[1] …. ‡®«¨­, ˆ­²¥°¯®«¿¶¨®­­®¥ ±¢®©±²¢® Š°¥©£ ¢ «®£¨ª µ ¤®ª § ²¥«¼±²¢ ± ®¯¥° ²®°®¬ ±¨«¼­®© ¤®ª §³¥¬®±²¨, ‚¥±²­.

Œ®±ª. ³­-² .‘¥°¨¿ 1. Œ ²¥¬ ²¨ª . Œ¥µ ­¨ª . 1997, ¢»¯. 4, ±. 53{55.[2] …. ‡®«¨­, ‘¥ª¢¥­¶¨ «¼­»¥ °¥´«¥ª±¨¢­»¥ «®£¨ª¨ ° §°¥¸¨¬®±²¨, Œ ².§ ¬¥²ª¨, 2002, ². 71, ¢»¯. 6, ±. 798-814.[3] …. ‡®«¨­, ‘¥ª¢¥­¶¨ «¼­ ¿ «®£¨ª °¨´¬¥²¨·¥±ª®© ° §°¥¸¨¬®±²¨,‚¥±²­. Œ®±ª. ³­-² . ‘¥°¨¿ 1. Œ ²¥¬ ²¨ª . Œ¥µ ­¨ª . 2001.  6,±. 43{48.[4] E. Zolin, Completeness and Denability in the Logic of Non-contingency,Notre Dame Journal of Formal Logic, 1999, vol.

40, Â 4, pp. 533{547.[5] E. Zolin, Innitary Denability of Necessity in Terms of Contingency, Proceedings of ESSLLI Student Session. | Finland, Helsinki, 13{24 August2001, pp. 310{319.15.

Характеристики

Список файлов диссертации