Cover Image

Sequence and Consequence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dorr, Cian, Mandelkern, Matt
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)

The Equations $2^n \pm 2^m \pm 1 = x^2$ in the Arithmetic of the Even and Odd
by: Wicks, Matt
Published: (2025)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

Consequences of Dependent Dividing on Burden
by: Takahashi, Yuki
Published: (2025)

Maximal Prikry Sequences
by: Schimmerling, Ernest, et al.
Published: (2026)

On the Asymptotic Behavior of Guessing Sequences
by: Benhamou, Tom, et al.
Published: (2026)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)

Continuous Randomness via Transformations of 2-Random Sequences
by: Porter, Christopher P.
Published: (2024)

Conditional and Modal Reasoning in Large Language Models
by: Holliday, Wesley H., et al.
Published: (2024)

An SMT Theory for n-Indexed Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

On SMT Theory Design: The Case of Sequences
by: Hara, Hichem Rami Ait El, et al.
Published: (2024)

A Note On Square-free Sequences and Anti-unification Type
by: Cerna, David M.
Published: (2024)

Higher-order circuits
by: Wilson, Matt
Published: (2026)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
by: Kaufmann, Matt, et al.
Published: (2025)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

Consequences of the random matrix solution to the Peterson-Thom conjecture
by: Hayes, Ben, et al.
Published: (2023)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
by: Gilson, Frank
Published: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Monochromatic products and sums in the rationals
by: Bowen, Matt, et al.
Published: (2022)

Varanus: Runtime Verification for CSP
by: Luckcuck, Matt, et al.
Published: (2025)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

A Profunctorial Semantics for Quantum Supermaps
by: Hefford, James, et al.
Published: (2024)

A BV-Category of Spacetime Interventions
by: Hefford, James, et al.
Published: (2025)

A Mathematical Framework for Transformations of Physical Processes
by: Wilson, Matt, et al.
Published: (2022)

Iof-maint -- Modular maintenance ontology
by: Hodkiewicz, Melinda, et al.
Published: (2024)

Extended Abstract: Mutable Objects with Several Implementations
by: Kaufmann, Matt, et al.
Published: (2025)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
by: Farrell, Marie, et al.
Published: (2021)

Loop Termination and Generalized Collatz Sequences
by: Carelli, Mishel
Published: (2026)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

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

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

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

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