:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Gaßner, Christine
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2502.17539
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
por: Gaßner, Christine
Publicado: (2024)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

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

On the expressive power of inquisitive team logic and inquisitive first-order logic
por: Kontinen, Juha, et al.
Publicado: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Making first order linear logic a generating grammar
por: Slavnov, Sergey
Publicado: (2022)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
por: Gaßner, Christine
Publicado: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
por: Powell, Thomas
Publicado: (2023)

On first-order definable operations on relational structures
por: Courcelle, Bruno
Publicado: (2026)

On first-order transductions of classes of graphs
por: Braunfeld, Samuel, et al.
Publicado: (2022)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
por: Barlag, Timon, et al.
Publicado: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
por: Gabbay, Murdoch J.
Publicado: (2013)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
por: Gaßner, Christine
Publicado: (2024)

Permutation Models of Second Order
por: Gaßner, Christine
Publicado: (2024)

Relationships between Principles of Choice in Second-Order Henkin Structures
por: Gaßner, Christine
Publicado: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

A very sharp threshold for first order logic distinguishability of random graphs
por: Benjamini, Itai, et al.
Publicado: (2022)

Incompleteness for stably computable formal systems
por: Savelyev, Yasha
Publicado: (2022)

Speedability of computably approximable reals and their approximations
por: Barmpalias, George, et al.
Publicado: (2026)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Strong negation in the theory of computable functionals TCF
por: Köpp, Nils, et al.
Publicado: (2022)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
por: Fernandes, Vítor, et al.
Publicado: (2024)

Indivisibility and uniform computational strength
por: Gill, Kenneth
Publicado: (2023)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
por: Kihara, Takayuki
Publicado: (2022)

Characterizations of monadically dependent tree-ordered weakly sparse structures
por: Buffière, Hector, et al.
Publicado: (2026)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Realizing the totally unordered structure of ordinals
por: Fontanella, Laura, et al.
Publicado: (2025)

A linear proof language for second-order intuitionistic linear logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

First order complexity of finite random structures
por: Demin, Danila, et al.
Publicado: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

Decomposing graphs into stable and ordered parts
por: Buffière, Hector, et al.
Publicado: (2025)

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

Synthesis for prefix first-order logic on data words
por: Grange, Julien, et al.
Publicado: (2024)

On first-order model checking parameterized by the number of variables
por: Jedelský, Jan
Publicado: (2026)