Cover Image

Zeta Functions and the (Linear) Logic of Markov Processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Seiller, Thomas
Format:	Preprint
Published:	2020
Subjects:	Logic in Computer Science Dynamical Systems Logic Probability
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Mathematical Informatics: Algorithms
by: Seiller, Thomas
Published: (2026)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

Snakes can be fooled into thinking they live in a tree
by: Bartholdi, Laurent, et al.
Published: (2024)

Linear Realisability over nets: multiplicatives (long version)
by: Ragot, Adrien, et al.
Published: (2024)

The domino problem is decidable for robust tilesets
by: Aubrun, Nathalie, et al.
Published: (2024)

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

Memoryless concretization relation
by: Calbert, Julien, et al.
Published: (2024)

Set Descriptive Complexity of Solvable Functions
by: Gozzi, Riccardo, et al.
Published: (2024)

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

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

Positivity of Nearly Linearly Recurrent Sequences
by: Pouly, Amaury, et al.
Published: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

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

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
by: Bournez, Olivier, et al.
Published: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

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

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

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

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Shifts on the lamplighter group
by: Bartholdi, Laurent, et al.
Published: (2024)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
by: Trinh, Van-Giang, et al.
Published: (2024)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

FO logic on cellular automata orbits equals MSO logic
by: Theyssier, Guillaume
Published: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

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

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

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

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)