Cover Image

A Complete Fragment of LTL(EB)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferrarotti, Flavio, Rivière, Peter, Schewe, Klaus-Dieter, Singh, Neeraj Kumar, Ameur, Yamine Aït
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 68Q60, 68N30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
by: Schewe, Klaus-Dieter, et al.
Published: (2025)

Choiceless Polynomial Space
by: Ferrarotti, Flavio, et al.
Published: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
by: Schewe, Klaus-Dieter, et al.
Published: (2025)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
by: Galmiche, Didier, et al.
Published: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)

RustyDL: A Program Logic for Rust
by: Drodt, Daniel, et al.
Published: (2026)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)

Monitoring Hyperproperties over Observed and Constructed Traces
by: Chalupa, Marek, et al.
Published: (2025)

Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Principal Types as Partial Involutions
by: Honsell, Furio, et al.
Published: (2024)

The Maude strategy language
by: Eker, Steven, et al.
Published: (2024)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

On the incomputability of computable dimension
by: Staiger, Ludwig
Published: (2019)

The syntactic side of autonomous categories enriched over generalised metric spaces
by: Dahlqvist, Fredrik, et al.
Published: (2022)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Unifying lower bounds for algebraic machines, semantically
by: Seiller, Thomas, et al.
Published: (2018)

A study of the Antlion Random Walk
by: Narimatsu, Akihiro, et al.
Published: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

Undefinability of Approximation of 2-to-2 Games
by: Dawar, Anuj, et al.
Published: (2025)

Type Inference for Isabelle2Cpp
by: Jiang, Dongchen, et al.
Published: (2024)

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
by: Kratsios, Anastasis, et al.
Published: (2025)

Proof-Carrying Verification for ReLU Networks via Rational Certificates
by: Gokavarapu, Chandrasekhar
Published: (2025)

Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries
by: Gokavarapu, Chandrasekhar
Published: (2025)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
by: Marković, Petar, et al.
Published: (2026)

Executable Boundary Contracts for Sound Event Traces
by: Alpay, Faruk, et al.
Published: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)