| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001 |
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.  |
TABLEAUX  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
Non-distributive Description Logic. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Nicola Olivetti, Cláudia Nalon |
Resolution Calculi for Non-normal Modal Logics. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Piotrowski, Ramon Fernández Mir, Edward W. Ayers |
Machine-Learned Premise Selection for Lean. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rawson 0001, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel |
Lemmas: Generation, Selection, Application. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuzana Haniková, Felip Manyà, Amanda Vidal |
The MaxSAT Problem in the Real-Valued MV-Algebra. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon, Eugenio Orlandelli |
Nested Sequents for Quantified Modal Logics. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander V. Gheorghiu, Tao Gu, David J. Pym |
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Wernhard |
Range-Restricted and Horn Interpolation through Clausal Tableaux. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Indrzejczak |
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Shminke |
gym-saturation: Gymnasium Environments for Saturation Provers (System description). |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Sonia Marin |
On Intuitionistic Diamonds (and Lack Thereof). |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
Testing the Satisfiability of Formulas in Separation Logic with Permissions. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Davide Catta, Federico Olimpieri |
Canonicity of Proofs in Constructive Modal Logic. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Saurin |
A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Revantha Ramanayake, Josef Urban (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Indrzejczak, Nils Kürbis |
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
The Logic of Separation Logic: Models and Proofs. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Lang |
Some Analytic Systems of Rules. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Andrea Mazzullo |
CoNP Complexity for Combinations of Non-normal Modal Logics. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From, Jørgen Villadsen |
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Eisenhofer, Ruba Alassaf, Michael Rawson 0001, Laura Kovács |
Non-Classical Logics in Satisfiability Modulo Theories. |
TABLEAUX |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Revantha Ramanayake, Ian Shillito |
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Indrzejczak, Michal Zawidzki |
Tableaux for Free Logics with Descriptions. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rooduijn |
Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Kürbis |
Proof-Theory and Semantics for a Theory of Definite Descriptions. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban |
Learning Theorem Proving Components. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon |
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Marti, Yde Venema |
A Focus System for the Alternation-Free μ-Calculus. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitor Greati, Sérgio Marcelino, João Marcos 0001 |
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron |
Basing Sequent Systems on Exclusive-Or. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Grätz |
Analytic Tableaux for Non-deterministic Semantics. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lellmann |
From Input/Output Logics to Conditional Logics via Sequents - with Provers. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban |
Towards Finding Longer Proofs. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Cormac Kikkert |
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Stephan Scheele, Luke Burke |
The Došen Square Under Construction: A Tale of Four Modalities. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Macaulay Ferguson |
Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Otten |
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Davide Catta, Lutz Straßburger |
Game Semantics for Constructive Modal Logic. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsolt Zombori, Josef Urban, Miroslav Olsák |
The Role of Entropy in Guiding a Connection Prover. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Sara Negri (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko |
Constraint Tableaux for Two-Dimensional Fuzzy Logics. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata |
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziano Dalmonte, Charles Grellois, Nicola Olivetti |
Terminating Calculi and Countermodels for Constructive Modal Logics. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rawson 0001, Giles Reger |
Eliminating Models During Model Elimination. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | André Duarte 0002, Konstantin Korovin |
AC Simplifications and Closure Redundancies in the Superposition Calculus. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré |
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rawson 0001, Giles Reger |
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Docherty, Reuben N. S. Rowe |
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gâinâ, Ionut Tutu |
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Pimentel, Revantha Ramanayake, Björn Lellmann |
Sequentialising Nested Systems. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Serenella Cerrito, Andrei Popescu 0001 (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Ralph, Lutz Straßburger |
Towards a Combinatorial Proof Theory. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek De 0001, Alexis Saurin |
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geatti, Nicola Gigante, Angelo Montanari |
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller |
A Game Model for Proofs with Costs. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ebner |
Herbrand Constructivization for Automated Intuitionistic Theorem Proving. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lellmann |
Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan |
Behavioral Program Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chu Min Li, Felip Manyà, Joan Ramon Soler |
A Tableau Calculus for Non-clausal Maximum Satisfiability. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
ENIGMAWatch: ProofWatch Meets ENIGMA. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Lick |
A Hypersequent Calculus with Clusters for Data Logic over Ordinals. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Michel Marti, Daniel Méry |
Relating Labelled and Label-Free Bunched Calculi in BI Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Ivan Varzinczak |
Preferential Tableaux for Contextual Defeasible ALC. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Acclavio, Lutz Straßburger |
On Combinatorial Proofs for Modal Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | João G. Martins, André Platzer, João Leite 0001 |
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Björn Lellmann |
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Prenex Separation Logic with One Selector Field. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand |
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Färber 0002, Cezary Kaliszyk |
Certification of Nonclausal Connection Tableaux Proofs. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yotam Dvir, Arnon Avron |
First-Order Quasi-canonical Proof Systems. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Nollet, Alexis Saurin, Christine Tasson |
PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Cerna, Michael Peter Lettmann |
Integrating a Global Induction Mechanism into a Sequent Calculus. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan |
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002, Damien Pous |
A Cut-Free Cyclic Proof System for Kleene Algebra. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Otten |
Non-clausal Connection Calculi for Non-classical Logics. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
A Mechanizable First-Order Theory of Ordinals. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Marin, Lutz Straßburger |
Proof Theory for Indexed Nested Sequents. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy E. Dawson, Rajeev Goré |
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Liron Cohen 0001 |
Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus de Oliveira Oliveira |
Parameterized Provability in Equational Logic. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Stratulat |
Cyclic Proofs with Ordering Constraints. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate A. Schmidt, Cláudia Nalon (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Tishkovsky, Renate A. Schmidt |
Rule Refinement for Semantic Tableau Calculi. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Camillo Fiorentini, Mauro Ferrari 0002 |
A Forward Unprovability Calculus for Intuitionistic Propositional Logic. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Bibel |
A Vision for Automated Deduction Rooted in the Connection Method. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Serenella Cerrito, Amélie David 0001 |
Minimisation of ATL ^* Models. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ori Lahav 0001, Yoni Zohar |
Cut-Admissibility as a Corollary of the Subformula Property. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian G. Fermüller, Timo Lang |
Interpreting Sequent Calculi as Client-Server Games. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee A. Barnett |
Goal-Sensitive Reasoning with Disconnection Tableaux. |
TABLEAUX |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license