Proof Methods for Modal and Intuitionistic Logics /

Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)

Aspects of Aristotle's Logic of Modalities /
by: Rijen, Jeroen
Published: (1988)

Logic, Truth and the Modalities : From a Phenomenological Perspective /
by: Mohanty, J. N.
Published: (1999)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Models for Modalities : Selected Essays /
by: Hintikka, Jaakko
Published: (1975)

The Semantics and Proof Theory of the Logic of Bunched Implications /
by: Pym, David J.
Published: (2002)

Types, Tableaus, and Gödel's God /
by: Fitting, Melvin
Published: (2002)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

The Logic of Conditionals : An Application of Probability to Deductive Logic /
by: Adams, Ernest (Ernest W.)
Published: (1975)

The Logic of Epistemology and the Epistemology of Logic : Selected Essays /
by: Hintikka, Jaakko
Published: (1988)

Combinators, λ-Terms and Proof Theory
by: Stenlund, Sören
Published: (1972)

Initiatives in Logic /
by: Srzednicki, Jan T. J.
Published: (1987)

Formal Logic /
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Tense Logic /
by: McArthur, Robert P.
Published: (1976)

Logical Writings /
by: Herbrand, Jacques
Published: (1971)

Pragmatic Logic /
by: Ajdukiewicz, Kazimierz
Published: (1974)

Philosophical Logic /
by: Davis, J. W.
Published: (1969)

The Logics of Preference : a Study of Prohairetic Logics in Twentieth Century Philosophy /
by: Moutafakis, Nicholas J.
Published: (1987)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

The Logic of Analogy : an Interpretation of St Thomas /
by: McInerny, Ralph, 1929-2010
Published: (1971)

Advanced Logic for Applications /
by: Grandy, Richard E.
Published: (1977)

Topics in Philosophical Logic /
by: Rescher, Nicholas
Published: (1968)

Topics in Conditional Logic /
by: Nute, Donald
Published: (1980)

Systems of Formal Logic /
by: Hackstaff, L. H.
Published: (1966)

Assumptions of Grand Logics /
by: Feibleman, James K.
Published: (1979)

Aspect of Modern Logic /
by: Beth, Evert W.
Published: (1970)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

The Logic of Abelard /
by: Teresa, Maria
Published: (1969)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

Philosophical Problems in Logic : Some Recent Developments /
by: Lambert, Karel
Published: (1970)

Goal-Directed Proof Theory /
by: Gabbay, Dov M.
Published: (2000)

Sense and Reference in Frege's Logic /
by: Thiel, Christian
Published: (1968)