فرزانگی
درونشد
هموندی
دانشنامه
فرزانگی
گویایی
انگارش
میز پژوهش
پارسیگردان
آزمایشگاه گویایی
تالار ناموران
نبیگخانه
واژهنامه
درباره
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
افشین پوریا
درآمدی به گویایی ناکلاسیک
(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)
لودویگ ویتگنشتاین
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)
Clarence Irving Lewis
Symbolic Logic
(1932)
کوپر هارولد لانگفورد
Clarence Irving Lewis
گویایی مدی
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)
مک کینزی