| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6124951 | 2024-04-10 | Paper |
| A WALK WITH GOODSTEIN | 2024-04-09 | Paper |
| THE BAIRE CLOSURE AND ITS LOGIC | 2024-04-05 | Paper |
| TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES | 2024-04-04 | Paper |
| Fixed point logics and definable topological properties | 2024-03-05 | Paper |
| Dynamic Cantor Derivative Logic | 2024-01-16 | Paper |
| Exploring the Jungle of Intuitionistic Temporal Logics | 2023-12-12 | Paper |
| Intermediate Goodstein Principles | 2023-08-04 | Paper |
| Time and Gödel: fuzzy temporal reasoning in PSPACE | 2023-06-02 | Paper |
| Fixed point logics and definable topological properties | 2023-06-02 | Paper |
| The universal tangle for spatial reasoning | 2023-04-06 | Paper |
| Metric fixed point theory and partial impredicativity | 2023-02-17 | Paper |
| Dynamic Tangled Derivative Logic of Metric Spaces | 2023-01-24 | Paper |
| Noetherian Gödel logics | 2023-01-04 | Paper |
| Arithmetical and Hyperarithmetical Worm Battles | 2023-01-04 | Paper |
| Ackermannian Goodstein sequences of intermediate growth | 2022-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039160 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869540 | 2022-09-28 | Paper |
| COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS | 2022-08-29 | Paper |
| A non-hyperarithmetical Gödel logic | 2022-07-01 | Paper |
| Hyperarithmetical worm battles | 2022-07-01 | Paper |
| Deducibility and independence in Beklemishev's autonomous provability calculus | 2022-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5071250 | 2022-04-20 | Paper |
| Untangled: A Complete Dynamic Topological Logic | 2022-04-18 | Paper |
| Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms | 2022-03-30 | Paper |
| Fast Goodstein Walks | 2021-11-30 | Paper |
| To drive or not to drive: a logical and computational analysis of European transport regulations | 2021-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5000284 | 2021-07-12 | Paper |
| Ekeland's variational principle in weak and strong systems of arithmetic | 2020-10-13 | Paper |
| Deducibility and Independence in Beklemishev's Autonomous Provability Calculus | 2020-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3305196 | 2020-08-06 | Paper |
| Predicatively unprovable termination of the Ackermannian Goodstein process | 2020-06-11 | Paper |
| A Decidable Intuitionistic Temporal Logic | 2020-05-26 | Paper |
| A self-contained provability calculus for \(\varGamma_0\) | 2020-03-04 | Paper |
| Axiomatic systems and topological semantics for intuitionistic temporal logic | 2020-02-18 | Paper |
| Intuitionistic Linear Temporal Logics | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224561 | 2019-07-24 | Paper |
| An intuitionistic axiomatization of `eventually' | 2019-07-24 | Paper |
| The dynamics of epistemic attitudes in resource-bounded agents | 2019-07-03 | Paper |
| Well-orders in the transfinite Japaridze algebra | 2019-01-08 | Paper |
| Forgetting complex propositions | 2019-01-08 | Paper |
| Verification logic | 2018-11-20 | Paper |
| Perfectly secure data aggregation via shifted projections | 2018-10-31 | Paper |
| The intuitionistic temporal logic of dynamical systems | 2018-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636023 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636027 | 2018-04-23 | Paper |
| Axiomatic systems and topological semantics for intuitionistic temporal logic | 2018-03-13 | Paper |
| Bisimulations for intuitionistic temporal logics | 2018-03-13 | Paper |
| The omega-rule interpretation of transfinite provability logic | 2018-02-06 | Paper |
| PREDICATIVITY THROUGH TRANSFINITE REFLECTION | 2017-09-26 | Paper |
| Succinctness in subsystems of the spatial mu-calculus | 2017-08-12 | Paper |
| STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES | 2017-08-03 | Paper |
| A case study in almost-perfect security for unconditionally secure communication | 2017-03-23 | Paper |
| Worms and Spiders: Reflection calculi and ordinal notation systems | 2016-05-28 | Paper |
| Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy | 2015-12-07 | Paper |
| The many faces of omega-logic | 2015-09-15 | Paper |
| A geometric protocol for cryptography with cards | 2015-01-23 | Paper |
| On the definability of simulation and bisimulation in epistemic logic | 2015-01-19 | Paper |
| On provability logics with linearly ordered modalities | 2014-09-26 | Paper |
| Non-finite axiomatizability of dynamic topological logic | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419874 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419879 | 2014-06-11 | Paper |
| The polytopologies of transfinite provability logic | 2014-05-12 | Paper |
| Non-finite axiomatizability of dynamic topological logic | 2014-04-16 | Paper |
| Evidence and plausibility in neighborhood structures | 2014-01-13 | Paper |
| A colouring protocol for the generalized Russian cards problem | 2014-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2869467 | 2014-01-03 | Paper |
| Hyperations, Veblen progressions and transfinite iteration of ordinal functions | 2013-11-29 | Paper |
| Models of transfinite provability logic | 2013-06-24 | Paper |
| A sound and complete axiomatization for Dynamic Topological Logic | 2012-09-19 | Paper |
| Tableaux for structural abduction | 2012-09-06 | Paper |
| A modal framework for modelling abductive reasoning | 2012-09-06 | Paper |
| Turing Progressions and Their Well-Orders | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904049 | 2012-08-05 | Paper |
| Well-orders in the transfinite Japaridze algebra II: Turing progressions and their well-orders | 2012-04-20 | Paper |
| Dynamic topological logic of metric spaces | 2012-04-19 | Paper |
| Dynamic topological logic interpreted over minimal systems | 2012-03-23 | Paper |
| Tangled modal logic for topological dynamics | 2012-03-13 | Paper |
| On the modal definability of simulability by finite transitive models | 2012-03-09 | Paper |
| On the Definability of Simulability and Bisimilarity by Finite Epistemic Models | 2011-09-16 | Paper |
| Dynamic Topological Completeness for | 2007-05-18 | Paper |
| Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal | 0001-01-03 | Paper |
| The universal tangle for spatial reasoning | 0001-01-03 | Paper |
