Cover Image

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bednarczyk, Bartosz, Kieroński, Emanuel
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
by: Fiuk, Oskar, et al.
Published: (2024)

One-Dimensional Fragment over Words and Trees
by: Kieronski, Emanuel, et al.
Published: (2021)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

The Adjacent Fragment and Quine's Limits of Decision
by: Bednarczyk, Bartosz, et al.
Published: (2024)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
by: Fiuk, Oskar, et al.
Published: (2025)

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

About the Expressive Power and Complexity of Order-Invariance with Two Variables
by: Bednarczyk, Bartosz, et al.
Published: (2023)

The Guarded Fragment with Nested Equivalences
by: Fiuk, Oskar
Published: (2026)

Guarded Negation Transitive Closure Logic
by: Figueira, Diego, et al.
Published: (2025)

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

On the complexity of Maslov's class $\overline{\text{K}}$
by: Fiuk, Oskar, et al.
Published: (2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
by: Baader, Franz, et al.
Published: (2025)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
by: Bodirsky, Manuel, et al.
Published: (2020)

Multi-clocked Guarded Recursion Beyond ω
by: Møgelberg, Rasmus Ejlers
Published: (2025)

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

A Horn extension of DL-Lite with NL data complexity
by: Arpasi, Janos, et al.
Published: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2025)

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

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Ordered Adjoint Logic (Extended Version)
by: Roshal, Sophia, et al.
Published: (2026)

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

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

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

Unique Solutions of Guarded Recursive Equations
by: van Glabbeek, Rob
Published: (2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
by: Dalmonte, Tiziano, et al.
Published: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
by: Niederhauser, Johannes, et al.
Published: (2024)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
by: Artale, Alessandro, et al.
Published: (2024)

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

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

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Non-Cartesian Guarded Recursion with Daggers
by: Lemonnier, Louis
Published: (2024)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
by: Kettmann, Pascal, et al.
Published: (2025)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
by: Giusti, Giulia, et al.
Published: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
by: Soares, Tiago Lopes, et al.
Published: (2024)