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 |
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 |
Learning Theorem Proving Components
|
2021 |
Chvalovský, Karel |
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
|
2021 |
Goré, Rajeev |
Terminating Calculi and Countermodels for Constructive Modal Logics
|
2021 |
Dalmonte, Tiziano |
Game Semantics for Constructive Modal Logic
|
2021 |
Acclavio, Matteo |
Tableaux for Free Logics with Descriptions
|
2021 |
Indrzejczak, Andrzej |