:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Powell, Thomas, Wan, Alex
Format:	Preprint
Published:	2025
Subjects:	Logic Probability
Online Access:	https://arxiv.org/abs/2508.20849
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
by: Neri, Morenikeji, et al.
Published: (2025)

On the algorithmic structure of Dialectica realisers
by: Barbarossa, Davide, et al.
Published: (2025)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
by: Neri, Morenikeji, et al.
Published: (2026)

A quantitative Robbins-Siegmund theorem
by: Neri, Morenikeji, et al.
Published: (2024)

Logical limit laws for Mallows random permutations
by: Muller, Tobias, et al.
Published: (2023)

A logical limit law for the sequential model of preferential attachment graphs
by: Özdemir, Alperen
Published: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Two Agents, One Prompt, and Your Weight
by: Mossel, Elchanan, et al.
Published: (2025)

Foundations for conditional probability
by: Mečíř, Ladislav
Published: (2019)

Proof mining and probability theory
by: Neri, Morenikeji, et al.
Published: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
by: Ackerman, Nathanael, et al.
Published: (2025)

Borel Local Lemma: arbitrary random variables and limited exponential growth
by: Bernshteyn, Anton, et al.
Published: (2024)

A logical approach to concentration
by: Benedikt, Michael, et al.
Published: (2026)

First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

Conditioning Accept-Desirability models in the context of AGM-like belief change
by: Coussement, Kathelijne, et al.
Published: (2025)

On Contextuality as a Feature of Logic and Probability Theory
by: Ellingsen, Ask
Published: (2026)

Complexity of inversion of functions on the reals
by: Barmpalias, George, et al.
Published: (2024)

Drawing with Distance
by: Jacobs, Bart
Published: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
by: Mertens, Hannah, et al.
Published: (2024)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

Separating complexity classes of LCL problems on grids
by: Berlow, Katalin, et al.
Published: (2025)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Central Limits via Dilated Categories
by: Basold, Henning, et al.
Published: (2026)

An excursion into Dialectica and Differentiation
by: Barbarossa, Davide
Published: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
by: Izumo, Takashi
Published: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
by: Huang, Xiang, et al.
Published: (2019)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality
by: Surace, Jacopo
Published: (2026)

Infinite products and zero-one laws in categorical probability
by: Fritz, Tobias, et al.
Published: (2019)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

Uniform Borel Amenability
by: Elek, Gábor, et al.
Published: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
by: Fritz, Tobias, et al.
Published: (2025)

Memoryless Strategies in Stochastic Reachability Games
by: Kiefer, Stefan, et al.
Published: (2024)

Model theoretic events
by: Gannon, Kyle, et al.
Published: (2024)