فرزانگی
درونشد
هموندی
دانشنامه
فرزانگی
گویایی
مزداهی
رایانش
هستیشناسی
میز پژوهش
پارسیگردان
آزمایشگاه گویایی
تالار ناموران
نبیگخانه
واژهنامه
درباره
Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic
افشین پوریا
The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4
افشین پوریا
Investigations in the foundations of set theory I
(1908)
ارنست فردریش فردیناند تسرملو
نگره‌ی هنگرد
درآمدی به گویایی ناکلاسیک
(2020 – 2021)
افشین پوریا
Zur Logik der Modalitäten
(1930)
Oskar Becker
Metaphysics, A Contemporary Introduction
(1998)
Michael J. Loux
Introduction to Algorithms
(2009)
کلیفورد استین
رونالد ریوست
چارلز ای لیزرسان
توماس اچ کورمن
Tractatus Logico-Philosophicus
(1921)
لودویگ ویتگنشتاین
Philosophical Investigations
(1953)
لودویگ ویتگنشتاین
Blue Book
(1933 – 1934)
لودویگ ویتگنشتاین
Principia Mathematica
(1910 – 1913)
آلفرد نورث وایتهد
برتراند راسل
On Certainty
(1960)
لودویگ ویتگنشتاین
Begriffsschrift
(1879)
گوتلوب فرگه
The Mathematical Analysis of Logic
(1847)
جورج بول
On Denoting
(1905)
برتراند راسل
An Interpretation of the Intuitionistic Propositional Calculus
(1933)
کورت گودل
Über die Vollständigkeit des Logikkalküls
(1929)
کورت گودل
نگره‌ی مدل
The Completeness of the First-Order Functional Calculus
(1949)
لئون هنکین
Thinking about Mathematics
استوارت شپیرو
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol 5
(1959)
Modal Logics between S4 and S5
(1959)
ادوارد جان لمون
مایکل دامت
گویایی مدی گزاره‌ای
Naming and Necessity
(1972)
سول کریپکی
Logics for Computer Science, Classical and Non-Classical
(2018)
آنیتا واسیلوسکا
Substructural Logics
(1993)
Kosta Došen
Peter Schroeder-Heister
گویایی‌های زیرساختاری
The Laws of Thought
جورج بول
An Introduction to Modal Logic
(1968)
جورج ادوارد هیوز
ماکسول جان کرسول
گویایی مدی
A New Introduction to Modal Logic
(1996)
جورج ادوارد هیوز
ماکسول جان کرسول
گویایی مدی
Some Theorems About the Sentential Calculi of Lewis and Heyting
(1948)
مک کینزی
آلفرد تارسکی
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
(1941)
مک کینزی
Zum Lewisschen Aussagenkalkül
(1932)
ویلیام پری
Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
(1874)
گئورگ کانتور
نگره‌ی هنگرد
نگره‌ی سهل‌انگارانه هنگرد
Entailment: The Logic of Relevance and Necessity
(1975)
نوئل بلنپ
آلن راس اندرسون
گویایی‌های بستگی
Über Möglichkeiten im Relativkalkül
(1915)
لئوپارد لونهایم
نگره‌ی مدل
Introduction to Logic and to the Methodology of Deductive Sciences
(1941)
آلفرد تارسکی
Vorlesungen über die Algebra der Logik
(1890)
ارنست شرودر
نگره‌ی مدل
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
(1930)
کورت گودل
نگره‌ی مدل
Entailment: The Logic of Relevance and Necessity
(1992)
نوئل بلنپ
آلن راس اندرسون
گویایی‌های بستگی
An Introduction to Non-Classical Logic
(2008)
گراهام پریست
Begründung Einer Strengen implikation
(1956)
ویلهلم آکرمان
گویایی‌های بستگی
Logic: a Very Short Introduction
(2000)
گراهام پریست
A Survey of Symbolic Logic
(1918)
کلارنس ایروینگ لوییس
Symbolic Logic
(1932)
کوپر هارولد لانگفورد
کلارنس ایروینگ لوییس
گویایی مدی
A Completeness Theorem in Modal Logic
(1959)
سول کریپکی
گویایی مدی
Semantical Considerations on Modal Logic
(1963)
سول کریپکی
گویایی مدی
A reduction in number of the postulates for C. I. Lewis' system of strict implication
(1934)
مک کینزی
درآمدی به گویایی ناکلاسیک
An Interpretation of the Intuitionistic Propositional Calculus
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol 5
