ردهها Extended logics Classical logic History and evolution 1880 1890 1900 1910 1920 1930 1940 1950 1960 1970 1980 1990 2000 2010 Clarence Irving LewisClarence Irving LewisClarence Irving LewisClarence Irving LewisClarence Irving LewisClarence Irving Lewis Cooper Harold LangfordCooper Harold LangfordCooper Harold LangfordCooper Harold LangfordCooper Harold LangfordCooper Harold Langford Symbolic Logic (Book) Saul KripkeSaul KripkeSaul KripkeSaul KripkeSaul KripkeSaul Kripke A Completeness Theorem in Modal Logic Semantical Considerations on Modal Logic George Edward HughesGeorge Edward HughesGeorge Edward HughesGeorge Edward HughesGeorge Edward HughesGeorge Edward Hughes Maxwell John CresswellMaxwell John CresswellMaxwell John CresswellMaxwell John CresswellMaxwell John CresswellMaxwell John Cresswell An Introduction to Modal Logic A New Introduction to Modal Logic Modal Logic نمونهها/پیادهسازیها Modal System T Modal System K Lewis's system S2 Lewis's system S1