|
|
|
Digital Downloads
This page lists the all the publications currently available as a digital download.
|
| Computing: Volume 16:
Implementing Programming Languages
An Introduction to Compilers and Interpreters
Aarne Ranta, with an appendix coauthored by Markus Forsberg
978-1-84890-064-6
View Details  |
|
| Computing: Volume 21:
A Mathematical Primer on Computability
Amilcar Sernadas, Cristina Sernadas and Joao Rasga
978-1-84890-296-1
View Details |
|
| Cuadernos de lógica, Epistemología y Lenguaje: Volume 6:
La Lógica como Herramienta de la Razón
Razonamiento Ampliativo en la Creatividad, la Cognición y la Inferencia
Atocha Aliseda
978-1-84890-147-6
View Details |
|
| DEON: Volume 13:
Deontic Logic and Normative Systems
13th International Conference, DEON 2016, Bayreuth, Germany,
Olivier Roy, Allard Tamminga and Malte Willer, eds
978-1-84890-215-2
View Details |
|
| 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 |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 1, Number 1
June 2014
978-1-84890-149-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 1, Number 2
November 2014
978-1-84890163-6
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 2, Number 1
June 2015
978-1-84890-178-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 2, Number 2
978-1-84890-189-6
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 3, Number 1.
Frontiers of Abduction Special Issue. May 2016
Guest Editor: Lorenzo Magnani
978-1-84890-214-5
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 3, Number 2
Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation
Guest editors: Matthias Thimm and Dov Gabbay
978-1-84890-221-3
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 3, Number 3
Special Issue: Connexive Logics
Heinrich Wansing, Hitoshi Omori and Thomas Macaulay Ferguson, eds
978-1-84890-222-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 3, Number 4
Proof, Truth, Computation
Guest editors: Hannes Leitgeb, Iosif Petrakis, Peter Schuster and Helmut Schwichtenberg
978-1-84890-219-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 3, Number 5
December 2016
978-1-84890-224-4
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 1,
Special Issue: Tools for Teaching Logic. January 2017
Guest editors: Sophie Pinchinat and François Schwarzentruber
978-1-84890-237-4
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 2
Special Issue: Hilberts epsilon and tau in Logic, Informatics and Linguistics. March 2017
Guest Editors: Stergios Chatzikyriakidis, Fabio Pasquali and Christian Retoré
978-1-84890-234-3
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 3
Special Issue: Proceedings of the Third Workshop, 16-17 May 2016, Edmonton, Canada
Guest Editors: Katalin Bimbó and J. Michael Dunn
978-1-84890-239-8
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 4
Special Issue Dedicated to the Memory of Grigori Mints
Dov Gabbay and Oleg Prosorov, Guest Editors
978-1-84890-204-4
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 5
978-1-84890-245-9
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 6
Arguing with Reasoning Distortions
978-1-84890-251-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 7
Reasoning about Preferences, Uncertainty and Vagueness
Guest Editors: Thomas Lukasiewicz, Rafael Penaloza and Anni-Yasmin Turhan
978-1-84890-252-7
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 8
Formal Argumentation
Guest Editors: Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre
978-1-84890-253-4
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 9
Logic for Normative Multi-Agent Systems
Guest Editors: Gabriella Pigozzi and Leendert van der Torre
978-1-84890-265-7
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 10
Special Issue: New Trends in Logic
Guest Editor: Matthias Baaz
978-1-84890-268-8
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 4, Number 11
Special Issue Dedicated to the Memory of Dale Jacquette
Guest Editor: John Woods
978-1-84890-246-6
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 1
978-1-84890-274-9
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 2
Special Issue: Normative Multi-Agent Systems
Guest Editor: Serena Villata
978-1-84890-277-0
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 3
Special Issue: Argument Strength
Guest Editors: Mathieu Beirlaen, Jesse Heyninck, Pere Pardo and Christian Strasser
978-1-84890-279-4
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 4
978-1-84890-272-5
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume 5:
Volume 5, Number 5
Special Issue: Logical Foundations of Strategic Reasoning
Guest Editors: Woosuk Park and John Woods
978-1-84890-286-2
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 6
Special Issue: The Emergence of Structuralism and Formalism
Guest Editors: Michael Gabbay, Prokop Sousedik and David Svoboda
978-1-84890-288-6
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 7
Special Issue: Formal Approaches to the Ontological Argument
Guest Editors: Ricardo Sousa Silvestre and Jean-Yves Beziau
978-1-84890-290-9 |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 8
978-1-84890-291-6
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 5, Number 9, December 2018
Special Issue: Current Trends in Multiple Valued Logic Design
Guest Editors: Martin Lukac and Robert Wille
978-1-84890-294-7
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 6, Number 1, January 2019
978-1-84890-299-2
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 6, Number 2, March 2019
The 3rd Israeli Workshop on Non-classical Logics and Their Applications (IsraLog2017)
Guest Editors: Ofer Arieli and Anna Zamansky
978-1-84890-301-2
View Details |
|
| Journal of Applied Logics - IfCoLog Journal: Volume :
Volume 6, Number 3, May 2019
978-1-84890-305-0 |
|
| Journal of Applied Logics - IfCoLog Journal: Volume 6-4:
Volume 6, Number 4, June 2019
Special Issue: Neural-Symbolic Learning and Reasoning (NeSy'18)
Guest Editors: Artur d'Avila Garcez and Tarek R. Besold
978-1-84890-306-7 |
|
| Journal of Applied Logics - IfCoLog Journal: Volume 6-5:
Volume 6, Number 5, August 2019
Special Issue: Reasoning for Legal AI
Guest Editors: Livio Robaldo and Leendert van der Torre
978-1-84890-311-1 |
|
| Forthcoming papers: Volume :
Adams' P-validity in the Research on Human Reasoning
Gernot D Kleiter
Received 5 July 2016
View Details |
|
| Philosophy: Volume 22:
The Good, the Right and the Fair
An introduction to Ethics
Mickey Gjerris, Morten Ebbe Juul Nielsen, Peter Sandøe
978-1-84890-102-5
View Details |
|
| The SILFS series: Volume 2:
Open Problems in Philosophy of Sciences
Pierluigi Graziani, Luca Guzzardi, and Massimo Sangoi, eds
978-1-84890-062-2
View Details |
|
| The SILFS series: Volume 1:
New Essays in Logic and Philosophy of Science
Marcello DAgostino, Giulio Giorello, Federico Laudisa, Telmo Pievani and Corrado Sinigaglia, eds
978-1-84890-003-5
View Details |
|
| The SILFS series: Volume 3:
New Directions in Logic and the Philosophy of Science
Laura Felline, Antonio Ledda, Francesco Paoli, Emanuele Rossanese, eds
978-1-84890-160-5
View Details |
|
| Studies in Logic: Volume 61:
Philosophical Applications of Modal Logic
Lloyd Humberstone
978-1-84890-196-4
View Details |
|
| Studies in Logic: 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 |
|
| Studies in Logic: Volume 67:
Many-Valued Logics
A Mathematical and Computational Introduction. Second Edition
Luis M. Augusto
978-1-84890-250-3
View Details |
|
| Studies in Talmudic Logic: Volume 10:
Principles of Talmudic Logic
Michael Abraham, Dov Gabbay and Uri Schild
978-1-84890-093-6
View Details |
|
| Systems: Volume 1:
A Journey Through the Systems Landscape
Harold 'Bud' Lawson
978-1-84890-010-3
View Details |
|
| Systems: Volume 3:
Beyond Alignment
Applying Systems Thinking in Architecting Enterprises
John Gøtze and Anders Jensen-Waud, eds
978-1-84890-116-2
View Details |
|
| Systems: Volume 6:
Architecting Systems. Concepts, Principles and Practice
Concepts, Principles and Practice
Hillary Sillitto
978-1-84890-154-4
View Details |
|
| Systems: Volume 7:
Software Engineering in the Systems Context
Addressing Frontiers, Practice and Education
Ivar Jacobson and Harold Bud Lawson, eds
978-1-84890-176-6
View Details |
|
| Texts in Mathematics: Volume 2:
Adventures in Formalism
Craig Smorynski
978-1-84890-040-8
View Details |
|
| Texts in Mathematics: Volume 6:
A Mathematical Primer on Linear Optimization
Diogo Gomes, Amilcar Sernadas, Cristina Sernadas, Joao Rasga and Paulo Mateus
978-1-84890-315-9
View Details |
|
| Other: Volume :
The Girl Who Wanted to Fly
L. Rivlin
978-1904987-62-8
View Details |
|
|
