Imagen de Portada

Multi-clocked Guarded Recursion Beyond ω

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Møgelberg, Rasmus Ejlers
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

What Monads Can and Cannot Do with a Few Extra Pages
por: Møgelberg, Rasmus Ejlers, et al.
Publicado: (2023)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
por: Stassen, Philipp Jan Andries, et al.
Publicado: (2024)

Unique Solutions of Guarded Recursive Equations
por: van Glabbeek, Rob
Publicado: (2025)

Non-Cartesian Guarded Recursion with Daggers
por: Lemonnier, Louis
Publicado: (2024)

Guarded Successor: A Novel Temporal Logic
por: Asor, Ohad
Publicado: (2024)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

$ω$-Regular Energy Problems
por: Dziadek, Sven, et al.
Publicado: (2022)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2025)

Complete $ω$-Regular Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2026)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
por: Bednarczyk, Bartosz, et al.
Publicado: (2025)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
por: Kieronski, Emanuel, et al.
Publicado: (2016)

A Hierarchy of Supermartingales for $ω$-Regular Verification
por: Kura, Satoshi, et al.
Publicado: (2025)

Computational Paths Form a Weak ω-Groupoid
por: Ramos, Arthur F., et al.
Publicado: (2025)

Games with $ω$-Automatic Preference Relations
por: Bruyère, Véronique, et al.
Publicado: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

Tighter Bounds for Query Answering with Guarded TGDs
por: Amarilli, Antoine, et al.
Publicado: (2022)

Invertible cells in $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
por: Das, Anupam, et al.
Publicado: (2025)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
por: Goncharov, Sergey
Publicado: (2024)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2024)

Guarded Negation Transitive Closure Logic
por: Figueira, Diego, et al.
Publicado: (2025)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
por: Kori, Mayuko
Publicado: (2026)

Modular Automatic Complexity Analysis of Recursive Integer Programs
por: Lommen, Nils, et al.
Publicado: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
por: Sung, Miara
Publicado: (2026)

A type theory for invertibility in weak $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
por: Benedikt, Michael, et al.
Publicado: (2023)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
por: Pratt-Hartmann, Ian
Publicado: (2006)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
por: Chardonnet, Kostia, et al.
Publicado: (2025)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
por: Egolf, Derek, et al.
Publicado: (2026)

The Polynomial Hierarchy and $ω$-categorical CSPs
por: Pro, Santiago Guzmán, et al.
Publicado: (2026)

Common Foundations for Recursive Shape Languages
por: Ahmetaj, Shqiponja, et al.
Publicado: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
por: Rooduijn, Jan, et al.
Publicado: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
por: Anand, Ashwani, et al.
Publicado: (2025)

Globular weak $ω$-categories as models of a type theory
por: Benjamin, Thibaut, et al.
Publicado: (2021)

Almost-Sure Termination by Guarded Refinement
por: Gregersen, Simon Oddershede, et al.
Publicado: (2024)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
por: Wang, Shanxia
Publicado: (2026)

Symbolic ω-automata with obligations
por: Di Stefano, Luca
Publicado: (2025)

Multi-Structural Games and Beyond
por: Carmosino, Marco, et al.
Publicado: (2023)

The Guarded Fragment with Nested Equivalences
por: Fiuk, Oskar
Publicado: (2026)