:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hirschowitz, André, Hirschowitz, Tom, Lafont, Ambroise, Maggesi, Marco
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2209.02614
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

For Generalised Algebraic Theories, Two Sorts Are Enough
by: Avrillon, Samy, et al.
Published: (2026)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2020)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

Harnessing Bounded-Support Evolution Strategies for Policy Refinement
by: Hirschowitz, Ethan, et al.
Published: (2025)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
by: Seidel, Anjo, et al.
Published: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Fusions of One-Variable First-Order Modal Logics
by: Kontchakov, Roman, et al.
Published: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
by: Meng, Qiaolan, et al.
Published: (2026)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

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

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

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
by: Nantes-Sobrinho, Daniele, et al.
Published: (2025)

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
by: Rosain, Johann, et al.
Published: (2026)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
by: Vinall-Smeeth, Harry
Published: (2023)

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
by: Nakamura, Yoshiki, et al.
Published: (2024)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
by: Fiore, Marcelo, et al.
Published: (2025)

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

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
by: Nakamura, Yoshiki
Published: (2023)

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

Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)

Better Extension Variables in DQBF via Independence
by: Chew, Leroy, et al.
Published: (2025)

Finite Variable Counting Logics with Restricted Requantification
by: Raßmann, Simon, et al.
Published: (2024)

One is all you need: Second-order Unification without First-order Variables
by: Cerna, David M., et al.
Published: (2024)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
by: Peressotti, Marco
Published: (2025)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
by: Pratt-Hartmann, Ian
Published: (2017)

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

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
by: Tóth, Jan, et al.
Published: (2024)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)