| Tableaux for Free Logics with Descriptions
|
2021 |
Indrzejczak, Andrzej |
| Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality
|
2021 |
Rooduijn, Jan |
| 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 |
| 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. |
Tag hinzufügen