Cover Image

On the Metric Temporal Logic for Continuous Stochastic Processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ikeda, Mitsumasa, Yamagata, Yoriyuki, Kihara, Takayuki
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Logic Probability
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
by: Kihara, Takayuki
Published: (2022)

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

Many-one reducibility with realizability
by: Kihara, Takayuki
Published: (2024)

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

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

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

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

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

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

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)

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)

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2022)

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)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
by: Diéguez, Martín, et al.
Published: (2026)

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

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

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

What can Topology tell us about Logical Complexity?
by: Kihara, Takayuki, et al.
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

On The Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2025)