- 2023
- Matteo Acclavio, Davide Catta, Federico Olimpieri:
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX 2023: 342-363 - Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger:
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. TABLEAUX 2023: 223-241 - Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann:
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX 2023: 37-48 - Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Non-distributive Description Logic. TABLEAUX 2023: 49-69 - Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw:
The Logic of Separation Logic: Models and Proofs. TABLEAUX 2023: 407-426 - Tiziano Dalmonte, Andrea Mazzullo:
CoNP Complexity for Combinations of Non-normal Modal Logics. TABLEAUX 2023: 302-321 - Anupam Das, Sonia Marin:
On Intuitionistic Diamonds (and Lack Thereof). TABLEAUX 2023: 283-301 - Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema:
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. TABLEAUX 2023: 242-259 - Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács:
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX 2023: 24-36 - Asta Halkjær From, Jørgen Villadsen:
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. TABLEAUX 2023: 468-480 - Alexander V. Gheorghiu, Tao Gu, David J. Pym:
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX 2023: 367-385 - Iris van der Giessen, Raheleh Jalali, Roman Kuznets:
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. TABLEAUX 2023: 263-282 - Zuzana Haniková, Felip Manyà, Amanda Vidal:
The MaxSAT Problem in the Real-Valued MV-Algebra. TABLEAUX 2023: 386-404 - Andrzej Indrzejczak:
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. TABLEAUX 2023: 131-149 - Andrzej Indrzejczak, Nils Kürbis:
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. TABLEAUX 2023: 112-130 - Timo Lang:
Some Analytic Systems of Rules. TABLEAUX 2023: 94-111 - Tim S. Lyon, Eugenio Orlandelli:
Nested Sequents for Quantified Modal Logics. TABLEAUX 2023: 449-467 - Dirk Pattinson, Nicola Olivetti, Cláudia Nalon:
Resolution Calculi for Non-normal Modal Logics. TABLEAUX 2023: 322-341 - Nicolas Peltier:
Testing the Satisfiability of Formulas in Separation Logic with Permissions. TABLEAUX 2023: 427-445 - Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers:
Machine-Learned Premise Selection for Lean. TABLEAUX 2023: 175-186 - Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel:
Lemmas: Generation, Selection, Application. TABLEAUX 2023: 153-174 - Alexis Saurin:
A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. TABLEAUX 2023: 203-222 - 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: 73-93 - Boris Shminke:
gym-saturation: Gymnasium Environments for Saturation Provers (System description). TABLEAUX 2023: 187-199 - Christoph Wernhard:
Range-Restricted and Horn Interpolation through Clausal Tableaux. TABLEAUX 2023: 3-23 - Revantha Ramanayake, Josef Urban:
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. Lecture Notes in Computer Science 14278, Springer 2023, ISBN 978-3-031-43512-6 [contents] - 2021
- Matteo Acclavio, Davide Catta, Lutz Straßburger:
Game Semantics for Constructive Modal Logic. TABLEAUX 2021: 428-445 - Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata:
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. TABLEAUX 2021: 335-353 - Arnon Avron:
Basing Sequent Systems on Exclusive-Or. TABLEAUX 2021: 112-128 - Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko:
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX 2021: 20-37