Fallacies Arising from Ambiguity
Douglas N Walton
Hardback
Not Available
Proof Theory of Modal Logic
H Wansing
Paperback
Multi-Dimensional Modal Logic
Maarten Marx and 1 more
Logic, Language and Computation
S Akama
Advances in Intensional Logic
Maarten de Rijke
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel and 1 more
Automated Deduction
W Bibel and 1 more
A Textbook of Belief Dynamics
Sven Ove Hansson
Dynamic Worlds
Remo Pareschi and 1 more
What Is Negation?
Dov M Gabbay and 1 more
Foundations of Rational Agency
Michael J Wooldridge and 1 more
Fuzzy Sets, Logics, and Reasoning About Knowledge
Didier Dubois and 2 more
Intellectics and Computational Logic
Formal Aspects of Context
Pierre Bonzon and 2 more
Goal-Directed Proof Theory
Frontiers in Belief Revision
MaryAnne Williams and 1 more
Proof Theory and Automated Deduction
Jean GoubaultLarrecq and 1 more
New Essays in Free Logic
Edgar Morscher and 1 more
Foundations of Bayesianism
David Corfield and 1 more
The Semantics and Proof Theory of the Logic of Bunched Implications
David J Pym
An Introduction to Mathematical Logic and Type Theory
P B Andrews
Thirty Five Years of Automating Mathematics
FD Kamareddine
Automated Model Building
Ricardo Caferra and 2 more
The Death of Argument
John Woods
Reasoning Robots
Michael Thielscher
Analysis and Synthesis of Logics
Walter A Carnielli
Proof Theory for Fuzzy Logics
George Metcalfe and 2 more
Hybrid Logic and Its Proof-Theory
Torben Braüner
Labelled Deduction
David Basin and 4 more
Frontiers of Combining Systems
F Baader and 1 more
