College Publications - Studies in Logic

Studies in Logic

Subseries:
These subseries are the scientific continuation of the two Elsevier series: Studies in Logic and Foundations of Mathematics (the "Yellow" series); and Studies in Logic and Practical Reasoning (the "Red" series). With the demise of these, we have established a new series that will take its place in the community.

We are maintaining historical continuity and the high scientific quality of the series, with strong editorial boards. We see this as an opportunity to expand the remit of the series to cover mathematical logic arising from applications in diverse areas, taking account of developments in logic in the second half of the last century.

History of Logic

Logic and cognitive systems

Mathematical logic and foundations

Studies in Logic and Argumentation

Logic and Bounded Rationality

Volume 113:

Meaning as a Set-theoretic Object
A Gentle Introduction to the Ideas Behind Formal Semantics Title Available

Jaroslav Peregrin

978-1-84890-491-0

View Details

Volume 114:

Logic and Language
New Frontiers in Analysis and Interpretation

José David García-Cruz

978-1-84890-493-4

View Details

Volume 108:

Semitopology
Decentralised Collaborative Action via Topology, Algebra, and Logic

Murdoch J. Gabbay

978-1-84890-465-1

View Details

Volume 107:

Non-commutative Algebras
Pseudo-BCK Algebras versus m-pseudo-BCK Algebras

Afrodita Iorgulescu

978-1-84890-463-7

View Details

Volume 106:

New Directions in Term Logic

George Englebretsen, editor

978-1-84890-462-0

View Details

Volume 105:

Logic as a Tool
A Guide to Formal Logical Reasoning

Valentin Goranko

978-1-84890-460-6

View Details

Volume 101:

The Logic of Partitions
With Two Major Applications

David Ellerman

978-1-84890-440-8

View Details

Volume 97:

The Logic of Knowledge Bases
Second Edition

Hector Levesque and Gerhard Lakemeyer

978-1-84890-420-0

View Details

Volume 96:

BCK Algebras versus m-BCK Algebras
Foundations

Afrodita Iorgulescu

978-1-84890-416-3

View Details

Volume 95:

Transparent Intensional Logic
Selected Recent Essays

Marie Duží, Bjørn Jespersen, Miloš Kosterec and Daniela Vacek, eds.

978-1-84890-412-5

View Details

Volume 91:

A View of Connexive Logics

Nissim Francez

978-1-84890-370-8

View Details

Volume :

Artificial Intelligence
What is it, exactly? Second Edition

Sebastien Konieczny and Henri Prade, editors

978-1-84890-338-8

View Details

Volume 88:

Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic

Jiří Raclavský

978-1-84890-334-0

View Details

Volume 84:

Witness Theory
Notes on λ-calculus and Logic

Adrian Rezuş

978-1-84890-326-5

View Details

Volume 83:

Reasoning: Games, Cognition, Logic

Mariusz Urbański, Tomasz Skura, Paweł Łupkowski, editors

978-1-84890-325-8

View Details

Volume 82:

Formal Logic
Classical Problems and Proofs

Luis M. Augusto

978-1-84890-317-3

View Details

Volume 79:

Games Iteration Numbers
A Philosophical Introduction to Computability Theory

Luca M. Possati

978-1-84890-298-5

View Details

Volume 78:

Logic and Philosophy of Logic
Recent Trends in Latin America and Spain

Max A. Freund, Max Fernandez de Castro and Marco Ruffino, eds

978-1-84890-293-0

View Details

Volume 73:

Measuring Inconsistency in Information

John Grant and Maria Vanina Martinez, eds.

978-1-84890-244-2

View Details

Volume 72:

Fathoming Formal Logic: Vol II
Semantics and Proof Theory for Predicate Logic

Odysseus Makridis

978-1-84890-267-1

View Details

Volume 71:

Fathoming Formal Logic: Vol I
Theory and Decision Procedures for Propositional Logic

Odysseus Makridis

978-1-84890-266-4

View Details

Volume 70:

Proceedings of the International Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012 (PhML-2012)
Euler International Mathematical Institute St Petersburg, May 22-25, 2012

Oleg Prosorov, editor

978-1-84890-256-5

View Details

Volume 69:

Logic and Conditional Probability
A Synthesis

Philip Calabrese

978-1-84890-258-9

View Details

Volume 67:

Many-Valued Logics
A Mathematical and Computational Introduction. Second Edition

Luis M. Augusto

978-1-84890-250-3

View Details

Volume 64:

Logic of Questions in the Wild
Inferential Erotetic Logic in Information Seeking Dialogue Modelling

Pawel Lupkowski

978-1-84890-216-9

View Details

Volume 61:

Philosophical Applications of Modal Logic

Lloyd Humberstone

978-1-84890-196-4

View Details

Volume 57:

Proof-theoretic Semantics

Nissim Francez

978-1-84890-183-4

View Details

Volume 52:

Inconsistency Robustness

Carl Hewitt and John Woods, eds.

978-1-84890-159-9

View Details

Volume 54:

Proof Theory of N4-related Paraconsistent Logics

Norihiro Kamide and Heinrich Wansing

978-1-84890-167-4

View Details

Volume 51:

Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation

Ringo Baumann

978-1-84890-143-8

View Details

Volume 50:

Intuitionistic Set Theory

John L. Bell

978-1-84890-140-7

View Details

Volume 49:

Introduction to Propositional Satisfiability

Victor Marek

978-1-84890-139-1

View Details

Volume 47:

Logic Across the University: Foundations and Applications
Proceedings of the Tsinghua Logic Conference, Beijing, 2013

Johan van Benthem and Fenrong Liu, eds

978-1-84890-122-3

View Details

Volume 41:

Symbolic Knowledge from Leibniz to Husserl

Abel Lassalle Casanave, editor

978-1-84890-073-8

View Details

Volume 36:

Understanding Vagueness
Logical, Philosophical, and Linguistic Perspectives

Petr Cintula, Christian G. Fermuller, Lluis Godo, and Petr Hajek, eds

978-1-84890-037-0

View Details

Volume 35:

Logic is not Mathematical

Hartley Slater

978-1-84890-051-6

View Details

Volume 32:

Foundations of the Formal Sciences VII
Bringing together Philosophy and Sociology of Science

Karen Francois, Benedikt Lowe, Thomas Muller and Bart van Kerkhove, eds

978-1-84890-049-3

View Details

Volume 28:

Passed over in Silence
On Wittgenstein's Tractatus and its System

Jaap van der Does

978-1-84890-008-0

View Details

Volume 16:

Foundations of the Formal Sciences VI
Probabilistic Reasoning and Reasoning with Probabilities

Benedikt Loewe, Eric Pacuit and Jan-Willem Romeijn, eds

978-1-904987-15-4

View Details

Volume 15:

Logic, Navya-Nyaya and Applications
Homage to Bimal Krishna Matilal

Mihir K. Chakraborti, Benedikt Loewe, Madhabendra Nath Mitra and Sundar Sarukkai, eds.

978-1-904987-44-4

View Details

Volume 27:

Inconsistent Geometry

Chris Mortensen

978-1-84890-022-6

View Details

Volume 26:

Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics

Albrecht Heeffer and Maarten van Dyck, editors

978-1-84890-017-2

View Details

Volume 25:

The Analytical Way
Proceedings of the 6th European Congress of Analytic Philosophy

Tadeusz Czarnecki, Katarzyna Kijania-Placek, Olga Pollr and Jan Wolenski, eds

978-1-84890-014-1

View Details

Volume 23:

The Logic of Fiction

John Woods. Foreword by Nicholas Griffin

978-1-904987-99-4

View Details

Volume 21:

The Many Sides of Logic

Editors: Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D`Ottaviano

978-1-904987-78-9

View Details

Volume 14:

New Approaches to Classes and Concepts

Klaus Robering, editor

978-1-904987-85-7

View Details

Volume 11:

Foundations of the Formal Sciences V
Infinite Games

Stefan Bold, Benedikt L�we, Thoralf R�sch and Johan van Benthem

ISBN 978-1-904987-75-8

View Details

Volume 7:

Fallacies: Selected Papers 1972-1982

John Woods, Douglas Walton with a Foreword by Dale Jacquette

ISBN 9781904987161

View Details

Volume 6:

How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

Francesco Berto

ISBN 9781904987437

View Details

Volume 5:

Incompleteness in the Land of Sets

Melvin Fitting

ISBN 9781904987345

View Details

Volume 4:

Algebra, Logic and Set Theory

Edited by Benedikt L�we

ISBN 1904987281

View Details

Volume 3:

Foundations of the Formal Sciences IV

Edited by Benedikt L�we, Volker Peckhaus and Thoralf R�sch

ISBN 190498729X

View Details

Volume 2:

MBR04: Model Based Reasoning in Science and Engineering

Edited by Lorenzo Magnani

ISBN 1-904987-23-0

View Details

Volume 1:

Proof-Theoretical Coherence

Kosta Do�en, Zoran Petri?

ISBN 1904987060

View Details

You may be interested in the following publication:

Handbooks

Volume :

Handbook of Deontic Logic and Normative Systems

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre, eds

978-1-84890-132-2

View Details