Cover Image

Probabilistic Shoenfield Machines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bujok, Maksymilian, Mata, Adam
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation Logic in Computer Science F.1.1, F.1.2, F.2.0 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Graph neural networks and MSO
by: Ahvonen, Veeti, et al.
Published: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

A Resolution-Based Interactive Proof System for UNSAT
by: Czerner, Philipp, et al.
Published: (2024)

Graded modal logic and counting message passing automata
by: Ahvonen, Veeti, et al.
Published: (2024)

Structure-Guided Automated Reasoning
by: Bannach, Max, et al.
Published: (2023)

On the formalization of the notion of a concurrent algorithm
by: Middelburg, C. A.
Published: (2024)

Formalizing the notions of non-interactive and interactive algorithms
by: Middelburg, C. A.
Published: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
by: Chen, Lijie, et al.
Published: (2026)

How to Verify a Turing Machine with Dafny
by: Lederer, Edgar F. A.
Published: (2026)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

The Directed Van Kampen Theorem in Lean
by: Basold, Henning, et al.
Published: (2023)

Constructibility and the P versus NP problem
by: Hole, Arne
Published: (2024)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

A Theory of Hanoi Omega-Automata and Games
by: Filiot, Emmanuel, et al.
Published: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
by: Lago, Ugo Dal, et al.
Published: (2026)

A LOCAL View of the Polynomial Hierarchy
by: Reiter, Fabian
Published: (2023)

MathPartner: An Artificial Intelligence Cloud Service
by: Malaschonok, Gennadi, et al.
Published: (2024)

Constant time testability of first-order logic with modulo counting on finitary graphs
by: Adler, Isolde, et al.
Published: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Infinitary Refinement Types for Temporal Properties in Scott Domains
by: Riba, Colin, et al.
Published: (2025)

On the Satisfaction Probabilities of $k$-CNF Formulas
by: Tantau, Till
Published: (2022)

Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
by: Grabmayer, Clemens
Published: (2024)

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

Extended Nullstellensatz proof systems
by: Krajicek, Jan
Published: (2023)

Polynomial-time Tractable Problems over the $p$-adic Numbers
by: Fehm, Arno, et al.
Published: (2025)

When do homomorphism counts help in query algorithms?
by: Cate, Balder ten, et al.
Published: (2023)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
by: Perháč, Ján, et al.
Published: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
by: Bisping, Benjamin, et al.
Published: (2024)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
by: Raphaëlle, Crubillé
Published: (2026)

A Fibrational Perspective on Differential Linear Logic
by: Koleilat, Jad
Published: (2026)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)