| 2021 | TABLEAUX | Basing Sequent Systems on Exclusive-Or. | Arnon Avron |
| 2021 | WoLLIC | Analysis in a Formal Predicative Set Theory. | Nissan Levi, Arnon Avron |
| 2019 | TABLEAUX | First-Order Quasi-canonical Proof Systems. | Yotam Dvir, Arnon Avron |
| 2018 | AiML | A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. | Arnon Avron, Ori Lahav |
| 2018 | CSL | Safety, Absoluteness, and Computability. | Arnon Avron, Shahar Lev, Nissan Levi |
| 2018 | LFCS | A Minimal Computational Theory of a Minimal Computational Universe. | Arnon Avron, Liron Cohen |
| 2016 | AiML | A paraconsistent view on B and S5. | Arnon Avron, Anna Zamansky |
| 2016 | CADE | A Logical Framework for Developing and Mechanizing Set Theories. | Arnon Avron |
| 2014 | WoLLIC | Ancestral Logic: A Proof Theoretical Study. | Liron Cohen, Arnon Avron |
| 2012 | LICS | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. | Arnon Avron, Beata Konikowska, Anna Zamansky |
| 2011 | CSR | A Multiple-Conclusion Calculus for First-Order Gdel Logic. | Arnon Avron, Ori Lahav |
| 2011 | EUSFLAT | Non-deterministic Connectives in Propositional Godel Logic. | Ori Lahav, Arnon Avron |
| 2011 | IJCAI | What Is an Ideal Logic for Reasoning with Inconsistency?. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2011 | TABLEAUX | Kripke Semantics for Basic Sequent Systems. | Arnon Avron, Ori Lahav |
| 2010 | KR | Maximally Paraconsistent Three-Valued Logics. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2010 | LICS | On Strong Maximality of Paraconsistent Finite-Valued Logics. | Arnon Avron, Ofer Arieli, Anna Zamansky |
| 2009 | CSR | Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. | Arnon Avron, Agata Ciabattoni, Anna Zamansky |
| 2009 | LFCS | Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. | Arnon Avron, Anna Zamansky |
| 2009 | TABLEAUX | Canonical Constructive Systems. | Arnon Avron, Ori Lahav |
| 2008 | CSR | A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. | Arnon Avron, Anna Zamansky |
| 2007 | LFCS | Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. | Arnon Avron, Anna Zamansky |
| 2006 | CADE | Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. | Anna Zamansky, Arnon Avron |
| 2006 | CiE | From Constructibility and Absoluteness to Computability and Domain Independence. | Arnon Avron |
| 2006 | KR | Non-Deterministic Semantics for First-Order Paraconsistent Logics. | Anna Zamansky, Arnon Avron |
| 2005 | ECSQARU | Non-deterministic Semantics for Paraconsistent C-Systems. | Arnon Avron |
| 2003 | TABLEAUX | Tableaux with Four Signs as a Unified Framework. | Arnon Avron |
| 2001 | CADE | Canonical Propositional Gentzen-Type Systems. | Arnon Avron, Iddo Lev |
| 2000 | TABLEAUX | A Tableau System for Gdel-Dummett Logic Based on a Hypersequent Calculus. | Arnon Avron |
| 1999 | ECSQARU | Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. | Ofer Arieli, Arnon Avron |
| 1998 | LICS | The Logical Role of the Four-Valued Bilattice. | Ofer Arieli, Arnon Avron |
| 1996 | CSL | Four-Valued Diagnoses for Stratified Knowledge-Bases. | Ofer Arieli, Arnon Avron |
| 1996 | ICTAI | Automatic Diagnoses for Properly Stratified Knowledge-Bases. | Ofer Arieli, Arnon Avron |
| 1994 | LICS | Logical Bilattices and Inconsistent Data | Ofer Arieli, Arnon Avron |
| 1991 | LICS | On First Order Database Query Languages | Arnon Avron, Yoram Hirshfeld |