| The Isomorphism Problem for FST Injection Structures
|
2022 |
Cenzer, Douglas |
| Parametric Church’s Thesis: Synthetic Computability Without Choice
|
2022 |
Forster, Yannick |
| A Logic of Interactive Proofs
|
2022 |
Lehnherr, David |
| On Inverse Operators in Dynamic Epistemic Logic
|
2022 |
Motoura, Shota |
| Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
|
2022 |
Rogozin, Daniel |
| Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic
|
2022 |
Statman, Rick |
| Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems
|
2022 |
Subramani, K. |
| Hyperarithmetical Worm Battles
|
2022 |
Papafılippou,, David Fernändez-Duque, Konstnatinos |
| Between Turing and Kleene
|
2022 |
Sanders, Sam |
| Propositional Dynamic Logic with Quantification over Regular Computation Sequences
|
2022 |
Sedlár, Igor |
| Small Model Property Reflects in Games and Automata Maxciej Zielenkiewicz
|
2022 |
Zielenkiewicz, Maciej |
| A Non-hyperarithmetical Gödel Logic
|
2022 |
Aguilera, Juan Pablo |
| Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic
|
2022 |
DeBoer, Neil J. |
| A Parameterized View on the Complexity of Dependence Logic
|
2022 |
Kontinen, Juha |
| Soundness and Completeness Results for LEA and Probability Semantics
|
2022 |
Moore, Eoin |
| Recursive Rules with Aggregation: A Simple Unified Semantics
|
2022 |
Liu, Yanhong A. |
| Computability Models over Categories and Presheaves
|
2022 |
Petrakis, Iosif |
| Dialectica Logical Principles
|
2022 |
Trotta, Davide |
| Andrews Skolemization May Shorten Resolution Proofs Non-elementarily
|
2022 |
Baaz, Matthias |
| Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
|
2022 |
Hagemeier, Christian |
Tag hinzufügen