Series Applied Logic

37 Works Popularity 69,376 (68 Members) 182 Books 0 Reviews
37 items
Fallacies Arising from Ambiguity (Applied Logic Series)
Proof theory of modal logic
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 (Applied Logic Series, 3)
Multi-Dimensional Modal Logic
Logic, Language and Computation (Applied Logic Series)
Proof Theory and Automated Deduction (Applied Logic Series)
Advances in Intensional Logic (Applied Logic Series)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) (v. 1)
Automated deduction. a basis for applications / Volume II, Systems and implementation techniques
Automated deduction. a basis for applications / Volume III, Application
A Textbook of Belief Dynamics: Theory Change and Database Updating (Solutions Manual only) (Applied Logic Series, 11/2)
Dynamic worlds : from the frame problems to knowledge management
What is negation?
Foundations of rational agency
Fuzzy Sets, Logics and Reasoning about Knowledge (Applied Logic Series)
Advances in Temporal Logic (Applied Logic Series, 16)
Labelled deduction
Abduction and Induction: Essays on their Relation and Integration
Intellectics and computational logic : papers in honor of Wolfgang Bibel
Formal aspects of context
Goal-directed proof theory
Frontiers in belief revision
New Essays in Free Logic: In Honour of Karel Lambert (Applied Logic Series)
Foundations of Bayesianism
Logical and computational aspects of model-based reasoning
The semantics and proof theory of the logic of bunched implications
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Thirty five years of automating Mathematics
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
Automated Model Building (Applied Logic Series)
The Death of Argument: Fallacies in Agent Based Reasoning (Applied Logic Series)
Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series)
Rigid Flexibility: The Logic of Intelligence
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)
Proof Theory for Fuzzy Logics (Applied Logic Series)
Hybrid Logic and its Proof-Theory
show moreshow less
DefaultPublication
Fallacies Arising from Ambiguity (Applied Logic Series) by Douglas Walton 3 copies1
Proof theory of modal logic by H Wansing 3 copies2
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 (Applied Logic Series, 3) by baaderf 1 copy3
Multi-Dimensional Modal Logic by Maarten Marx 5 copies4
Logic, Language and Computation (Applied Logic Series) by S. Akama 5 copies5
Proof Theory and Automated Deduction (Applied Logic Series) by Jean Goubault-Larrecq 1 copy6
Advances in Intensional Logic (Applied Logic Series) by Maarten de Rijke 1 copy7
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) (v. 1) by Wolfgang Bibel 1 copy8
Automated deduction. a basis for applications / Volume II, Systems and implementation techniques by Wolfgang Bibel 4 copies9
Automated deduction. a basis for applications / Volume III, Application by Wolfgang Bibel 4 copies10
A Textbook of Belief Dynamics: Theory Change and Database Updating (Solutions Manual only) (Applied Logic Series, 11/2) by Sven Ove Hansson 2 copies11.2
Dynamic worlds : from the frame problems to knowledge management by Remo Pareschi 3 copies12
What is negation? by Dov M. Gabbay 4 copies13
Foundations of rational agency by Michael J. Wooldridge 4 copies14
Fuzzy Sets, Logics and Reasoning about Knowledge (Applied Logic Series) by Didier Dubois 5 copies15
Advances in Temporal Logic (Applied Logic Series, 16) by Howard Barringer 2 copies16
Labelled deduction by David Basin 3 copies17
Abduction and Induction: Essays on their Relation and Integration by Peter Flach 5 copies18
Intellectics and computational logic : papers in honor of Wolfgang Bibel by W. Bibel 2 copies19
Formal aspects of context by Pierre Bonzon 3 copies20
Goal-directed proof theory by Dov M. Gabbay 4 copies21
Frontiers in belief revision by Mary-Anne Williams 3 copies22
New Essays in Free Logic: In Honour of Karel Lambert (Applied Logic Series) by Edgar Morscher 4 copies23
Foundations of Bayesianism by David Corfield 4 copies24
Logical and computational aspects of model-based reasoning by Lorenzo Magnani 6 copies25
The semantics and proof theory of the logic of bunched implications by David J. Pym 5 copies26
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews 34 copies27
Thirty five years of automating Mathematics by Fairouz D. Kamareddine 3 copies28
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29) by F.D. Kamareddine 12 copies29
Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition by Hannes Leitgeb 3 copies30
Automated Model Building (Applied Logic Series) by Ricardo Caferra 2 copies31
The Death of Argument: Fallacies in Agent Based Reasoning (Applied Logic Series) by J. H. Woods 2 copies32
Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series) by Michael Thielscher 9 copies33
Rigid Flexibility: The Logic of Intelligence by Pei Wang 4 copies34
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series) by Walter Carnielli 13 copies35
Proof Theory for Fuzzy Logics (Applied Logic Series) by George Metcalfe 9 copies36
Hybrid Logic and its Proof-Theory by Torben Braüner 5 copies37

DescriptionsEdit Descriptions

Springer Nature series
URL: https://link.springer.co…springer.com/series/5632 (English, Publisher)

Tags

Top Members

Popularity