Logic for Concurrency and Synchronisation
R.J. De Queiroz
Download - Immediately Available
Format: eBook (PDF)
Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
David Makinson
Download - Immediately Available
Format: eBook (PDF)
Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
Christian Straer
Download - Immediately Available
Format: eBook (PDF)
Logics and Falsifications : A New Perspective on Constructivist Semantics
Andreas Kapsner
Download - Immediately Available
Format: eBook (PDF)
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak
Download - Immediately Available
Format: eBook (PDF)
Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi
Download - Immediately Available
Format: eBook (PDF)
Dual Tableaux: Foundations, Methodology, Case Studies
Ewa Orlowska
Download - Immediately Available
Format: eBook (PDF)
Truth and Falsehood : An Inquiry into Generalized Logical Values
Yaroslav Shramko
Download - Immediately Available
Format: eBook (PDF)
Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
Luiz Carlos Pereira
Download - Immediately Available
Format: eBook (PDF)
Probabilistic Logic in a Coherent Setting
Giulianella Coletti
Download - Immediately Available
Format: eBook (PDF)
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Hans Jurgen Ohlbach
Download - Immediately Available
Format: eBook (PDF)
Logic, Action and Cognition : Essays in Philosophical Logic
Eva Ejerhed
Download - Immediately Available
Format: eBook (PDF)
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli
Download - Immediately Available
Format: eBook (PDF)
Fuzzy Logic : Mathematical Tools for Approximate Reasoning
G. Gerla
Download - Immediately Available
Format: eBook (PDF)
Sheaves, Games, and Model Completions : A Categorical Approach to Nonclassical Propositional Logics
Silvio Ghilardi
Download - Immediately Available
Format: eBook (PDF)
Freedom and Enforcement in Action : A Study in Formal Action Theory
Janusz Czelakowski
Download - Immediately Available
Format: eBook (PDF)