Dynamic Epistemic Logic

Advanced Logic Synthesis

Stochastic Coalgebraic Logic

Handbook of Philosophical Logic

Logic, Thought and Action

Paraconsistency: Logic and Applications

Logic for Computer Scientists

Logic in Computer Science

Logic Programming with Prolog

Logic: A Brief Course

Logic Programming with Prolog

Logic and information flow

Hybrid Logic and its Proof-Theory

Handbook of Philosophical Logic Volume 15

Games: Unifying Logic, Language, and Philosophy

Mathematical Logic Foundations for Information Science

Cylindric-like Algebras and Algebraic Logic

A Course on Mathematical Logic

Mathematical Logic for Computer Science

Logic and the Organization of Information

Sets, Logic and Maths for Computing

A Concise Introduction to Mathematical Logic

Sets, Logic and Maths for Computing

Elementary Logic For Software Development

Temporal Logic and State Systems

A Concise Introduction to Mathematical Logic

Rigid Flexibility The Logic of Intelligence

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Mathematics of Fuzzy Sets and Fuzzy Logic

Logic Functions and Equations Examples and Exercises

Probabilistic Inductive Logic Programming Theory and Applications

Computation Engineering Applied Automata Theory and Logic

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Multi-valued Logic for Decision-Making Under Uncertainty

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Proof, Computation and Agency Logic at the Crossroads

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

On Sets and Graphs Perspectives on Logic and Combinatorics

Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings