Free Logic Books

icon
A Textbook of Belief Dynamics: Solutions to exercises
icon
Structural Reliabilism: Inductive Logic as a Theory of Justification
icon
Belief Revision in Non-Classical Logics
icon
Logic and Structure
icon
Introduction to Cardinal Arithmetic
icon
A Concise Introduction to Mathematical Logic
icon
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
icon
Proof Theory for Fuzzy Logics
icon
Aspects of Incompleteness
icon
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings
icon
Essential Stability Theory
icon
Mathematical Logic
icon
Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
icon
Ω-Bibliography of Mathematical Logic. Volume 3: Model Theory
icon
Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory
icon
Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic
icon
Constructibility
icon
Degrees of Unsolvability: Local and Global Theory
icon
Logic and Structure
icon
Basic Set Theory
icon
Recursion-Theoretic Hierarchies
icon
Admissible Sets and Structures: An Approach to Definability Theory
icon
Course of Mathematical Logic. Volume 2: Model Theory
icon
Conference in Mathematical Logic — London ’70
icon
Introduction to Axiomatic Set Theory
icon
Mathematical Thought: An Introduction to the Philosophy of Mathematics
icon
Computability in Analysis and Physics
icon
Bayesian Argumentation: The Practical Side of Probability
icon
The Argument of Mathematics
icon
Towards a General Theory of Classifications
icon
Gentzen Calculi for Modal Propositional Logic
icon
Unfoldings: A Partial-Order Approach to Model Checking
icon
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
icon
Duration Calculus: A Formal Approach to Real-Time Systems
icon
The Parametric Lambda Calculus: A Metamodel for Computation
icon
Agent-Based Defeasible Control in Dynamic Environments
icon
Probabilistic Logic in a Coherent Setting
icon
Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
icon
Advances in Intensional Logic
icon
Set Theory
icon
First-Order Logic and Automated Theorem Proving
icon
Proof Theory of Modal Logic
icon
Finite Model Theory
icon
The Logic of Partial Information
icon
Logic for Applications
icon
Larch: Languages and Tools for Formal Specification
icon
Iteration Theories: The Equational Logic of Iterative Processes
icon
First-Order Programming Theories
icon
Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction
icon
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
icon
Predicate Calculus and Program Semantics
icon
An Introduction to Formal Language Theory
icon
Computing in Horn Clause Theories
icon
Temporal Logic of Programs
icon
Algebraic Approaches to Program Semantics
icon
Semirings, Automata, Languages
icon
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
icon
Topological and Algebraic Structures in Fuzzy Sets: A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
icon
Protoalgebraic Logics
icon
First-Order Modal Logic
icon
Sets, Logic and Categories
icon
Multi-Dimensional Modal Logic
icon
Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics
icon
Handbook of Philosophical Logic
icon
Logics of Specification Languages
icon
Information and Knowledge: A Constructive Type-theoretical Approach
icon
Finite Model Theory
icon
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
icon
Elements of Finite Model Theory
icon
Thirty Five Years of Automating Mathematics
icon
Logic for Concurrency and Synchronisation
icon
Trends in Logic: 50 Years of Studia Logica
icon
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
icon
Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
icon
Incomplete Information: Structure, Inference, Complexity
icon
The Semantics and Proof Theory of the Logic of Bunched Implications
icon
Logical and Computational Aspects of Model-Based Reasoning
icon
Dynamics and Management of Reasoning Processes
icon
Foundations of Bayesianism
icon
Fuzzy Logic: Mathematical Tools for Approximate Reasoning
icon
New Essays in Free Logic: In Honour of Karel Lambert
icon
Frontiers in Belief Revision
icon
Abduction and Induction: Essays on their Relation and Integration
icon
Formal Aspects of Context
icon
Algebraic Foundations of Many-Valued Reasoning
icon
Labelled Deduction
icon
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning
icon
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
icon
Abductive Reasoning and Learning
icon
Subsystems of Second Order Arithmetic
icon
Fuzzy Sets, Logics and Reasoning about Knowledge
icon
Computational Logic
icon
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
icon
Foundations of Rational Agency
icon
Dynamic Worlds: From the Frame Problem to Knowledge Management
icon
Finiteness and Regularity in Semigroups and Formal Languages
icon
Descriptive Complexity
icon
Formal Concept Analysis: Mathematical Foundations
icon
Automated Deduction — A Basis for Applications: Volume III Applications
icon
Belief Change