TABLEAUX

Keyphrases

Publications

2023

Andrzej Indrzejczak
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. TABLEAUX (2023)
Boris Shminke
gym-saturation: Gymnasium Environments for Saturation Provers (System description). TABLEAUX (2023)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. TABLEAUX (2023)
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. TABLEAUX (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX (2023)
Christoph Wernhard
Range-Restricted and Horn Interpolation through Clausal Tableaux. TABLEAUX (2023)
Zuzana Haniková, Felip Manyà, Amanda Vidal
The MaxSAT Problem in the Real-Valued MV-Algebra. TABLEAUX (2023)
Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX (2023)
Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
Resolution Calculi for Non-normal Modal Logics. TABLEAUX (2023)
Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers
Machine-Learned Premise Selection for Lean. TABLEAUX (2023)
Nicolas Peltier
Testing the Satisfiability of Formulas in Separation Logic with Permissions. TABLEAUX (2023)
Tim S. Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics. TABLEAUX (2023)
Anupam Das, Sonia Marin
On Intuitionistic Diamonds (and Lack Thereof). TABLEAUX (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
The Logic of Separation Logic: Models and Proofs. TABLEAUX (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX (2023)
Alexis Saurin
A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. TABLEAUX (2023)
Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX (2023)
Asta Halkjær From, Jørgen Villadsen
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. TABLEAUX (2023)
Andrzej Indrzejczak, Nils Kürbis
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. TABLEAUX (2023)
Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Non-distributive Description Logic. TABLEAUX (2023)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX (2023)
Tiziano Dalmonte, Andrea Mazzullo
CoNP Complexity for Combinations of Non-normal Modal Logics. TABLEAUX (2023)
Timo Lang
Some Analytic Systems of Rules. TABLEAUX (2023)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. TABLEAUX (2023)

volume 14278, 2023

Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings TABLEAUX 14278 (2023)

2021

volume 12842, 2021

Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings TABLEAUX 12842 (2021)