| 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 |
| A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance
|
2022 |
Kjos-Hanssen, Bjørn |
| Computational Properties of Partial Non-deterministic Matrices and Their Logics
|
2022 |
Marcelino, Sergio |
| Betwixt Turing and Kleene
|
2022 |
Normann, Dag |
| 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 |
Tag hinzufügen