The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /

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

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

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

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

Acting and Reflecting : the Interdisciplinary Turn in Philosophy /
by: Sieg, Wilfried
Published: (1989)

Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)

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

Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)

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

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

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)

Belief Change /
by: Dubois, Didier
Published: (1998)

The Foundational Debate : Complexity and Constructivity in Mathematics and Physics /
by: DePauli-Schimanovich, Werner
Published: (1995)

Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)

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

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)

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

Foundations of Rational Agency /
by: Wooldridge, Michael
Published: (1999)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)

Philosophical Dimensions of Logic and Science : Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999 /
by: Rojszczak, Artur
Published: (2003)

Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)

Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /
by: Bibel, Wolfgang
Published: (1998)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)

Philosophical Logic and Artificial Intelligence /
by: Thomason, Richmond H.
Published: (1989)

Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel /
by: Hölldobler, Steffen
Published: (2000)