| Machine-Learned Premise Selection forLean
|
2023 |
Piotrowski, Bartosz |
| CoNP Complexity for Combinations of Non-normal Modal Logics
|
2023 |
Dalmonte, Tiziano |
| Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
|
2023 |
Gheorghiu, Alexander V. |
| Testing the Satisfiability of Formulas in Separation Logic with Permissions
|
2023 |
Peltier, Nicolas |
| Non-Classical Logics in Satisfiability Modulo Theories
|
2023 |
Eisenhofer, Clemens |
| A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
|
2023 |
Shillito, lan |
| Some Analytic Systems of Rules
|
2023 |
Lang, Timo |
| DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics
|
2023 |
Areces, Carlos |
| Non-distributive Description Logic
|
2023 |
Berg, Ineke van der |
| Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
|
2023 |
Indrzejczak, Andrzej |
| Resolution Calculi for Non-normal Modal Logics
|
2023 |
Pattinson, Dirk |
| Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
|
2023 |
Giessen, Iris van der |
| The Logic of Separation Logic: Models and Proofs
|
2023 |
Boer, Frank S. de |
| The MaxSAT Problem in the Real-Valued MV-Algebra
|
2023 |
Hanikovd, Zuzana |
| A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness
|
2023 |
From, Asta Halkjeer |
| A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions
|
2023 |
Indrzejczak, Andrzej |
| Lemmas: Generation, Selection, Application
|
2023 |
Rawson, Michael |
| III-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic
|
2023 |
Afshari, Bahareh |
| Proof Systems for the Modal p-Calculus Obtained by Determinizing Automata
|
2023 |
Dekker, Maurice |
| On Intuitionistic Diamonds (and Lack Thereof)
|
2023 |
Das, Anupam |
Tag hinzufügen