رده‌ها نبیگ

Zur Logik der Modalitäten
(1930)
برابر انگلیک (انگلیسی): Zur Logik der Modalitäten

دست‌اندرکاران:

گسترش‌ها
Oskar Becker
Oskar Becker
(1889 – 1964)


تاربرگ‌های پیموده‌شده در این نشست: پور سینا ⟩ آلن تورینگ ⟩ همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4 ⟩ A⥽(B∨¬B) ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ استواره یکم نابَوَندَگی گودل