| Analytic Tableaux for Non-deterministic Semantics
|
2021 |
Grätz, Lukas |
| The Role of Entropy in Guiding a Connection Prover
|
2021 |
Zombori, Zsolt |
| The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics
|
2021 |
Otten, Jens |
| Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs
|
2021 |
Kuznetsov, Stepan L. |
| Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
|
2021 |
Lyon, Tim S. |
| The Došen Square Under Construction: A Tale of Four Modalities
|
2021 |
Mendler, Michael |
| AC Simplifications and Closure Redundancies in the Superposition Calculus
|
2021 |
Duarte, André |
| lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
|
2021 |
Rawso, Michael |
| A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic
|
2021 |
D’Abrera, Caitlin |
| Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus
|
2021 |
Afshari, Bahareh |
| A Focus System for the Alternation-Free μ-Calculus
|
2021 |
Marti, Johannes |
| Constraint Tableaux for Two-Dimensional Fuzzy Logics
|
2021 |
Bílková, Marta |
| Tableaux and Restricted Quantification for Systems Related io Weak Kleene Logic
|
2021 |
Ferguson, Thomas Macaulay |
| CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT
|
2021 |
Goré, Rajeev |
| Basing Sequent Systems on Exclusive-Or
|
2021 |
Avron, Arnon |
| Proof-Theory and Semantics for a Theory of Definite Descriptions
|
2021 |
Kürbis, Nils |
| From Input/Output Logics to Conditional Logics via Sequents – with Provers
|
2021 |
Lellmann, Björn |
| Proof Search on Bilateralist Judgments over Non-deterministic Semantics
|
2021 |
Greati, Vitor |
| Towards Finding Longer Proofs
|
2021 |
Zombori, Zsolt |
| Eliminating Models During Model Elimination
|
2021 |
Rawson, Michael |
Tag hinzufügen