Skip to main content
  • Conference proceedings
  • Open Access
  • © 2021

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

  • This book is open access, which means that you have free and unlimited access.

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12699)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CADE: International Conference on Automated Deduction

Conference proceedings info: CADE 2021.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (38 papers)

  1. Front Matter

    Pages i-xiv
  2. Invited Talks

    1. Front Matter

      Pages 1-1
    2. Towards the Automatic Mathematician

      • Markus N. Rabe, Christian Szegedy
      Pages 25-37Open Access
  3. Logical Foundations

    1. Front Matter

      Pages 39-39
    2. Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity

      • Joanna Golińska-Pilarek, Taneli Huuskonen, Michał Zawidzki
      Pages 41-57Open Access
    3. Learning from Łukasiewicz and Meredith: Investigations into Proof Structures

      • Christoph Wernhard, Wolfgang Bibel
      Pages 58-75Open Access
    4. Efficient Local Reductions to Basic Modal Logic

      • Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
      Pages 76-92Open Access
    5. Isabelle’s Metalogic: Formalization and Proof Checker

      • Tobias Nipkow, Simon Roßkopf
      Pages 93-110Open Access
  4. Theory and Principles

    1. Front Matter

      Pages 111-111
    2. The ksmt Calculus Is a $$\delta $$ δ -complete Decision Procedure for Non-linear Constraints

      • Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
      Pages 113-130Open Access
    3. Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning

      • Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
      Pages 131-147Open Access
    4. Politeness and Stable Infiniteness: Stronger Together

      • Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, Cesare Tinelli
      Pages 148-165Open Access
    5. Equational Theorem Proving Modulo

      • Dohan Kim, Christopher Lynch
      Pages 166-182Open Access
    6. Unifying Decidable Entailments in Separation Logic with Inductive Definitions

      • Mnacho Echenim, Radu Iosif, Nicolas Peltier
      Pages 183-199Open Access
    7. Proof Search and Certificates for Evidential Transactions

      • Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
      Pages 234-251Open Access
    8. Non-clausal Redundancy Properties

      • Lee A. Barnett, Armin Biere
      Pages 252-272Open Access

Other Volumes

  1. Automated Deduction – CADE 28

    28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

About this book

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.

The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.


  • artificial intelligence
  • automata theory
  • boolean functions
  • computer programming
  • first order logic
  • formal languages
  • formal logic
  • logic programming
  • model checking
  • program verification
  • semantics
  • software architecture
  • software design
  • software engineering
  • software quality
  • software verification
  • theorem provers
  • theorem proving

Editors and Affiliations

  • Carnegie Mellon University, Pittsburgh, USA

    André Platzer

  • University of Miami, Coral Gables, USA

    Geoff Sutcliffe

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)