:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mojtahedi, Mojtaba, Miranda, Borja Sierra
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2510.06696
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Provability Logic of HA
von: Mojtahedi, Mojtaba
Veröffentlicht: (2022)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
von: Mojtahedi, Mojtaba
Veröffentlicht: (2022)

Proof Theory for Bimodal Provability Logics
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2026)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
von: Mojtahedi, Mojtaba, et al.
Veröffentlicht: (2024)

Cyclic Proofs for iGL via Corecursion
von: Miranda, Borja Sierra
Veröffentlicht: (2023)

Cut elimination for a non-wellfounded system for the master modality
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Coalgebraic proof translations for non-wellfounded proofs
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Uniform interpolation for interpretability logic
von: Horvat, Sebastijan, et al.
Veröffentlicht: (2025)

Knowledge and Common Knowledge of Strategies
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Nested Sequents for Provability Logic GLP
von: Shamkanov, Daniyar
Veröffentlicht: (2014)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

The Provably Total Set-Recursive Functions of KPl
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

Strong Completeness of Provability Logic for Uncountable Languages
von: Golshani, Mohammad, et al.
Veröffentlicht: (2026)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
von: Becker, Justus
Veröffentlicht: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

Provably Explaining Neural Additive Models
von: Bassan, Shahaf, et al.
Veröffentlicht: (2026)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
von: Maniwa, Akinori, et al.
Veröffentlicht: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Arboles de Forzamiento Semántico para la Logica de Predicados
von: Aristizábal, Manuel Sierra
Veröffentlicht: (2023)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
von: Hadad, Itamar, et al.
Veröffentlicht: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

Floating-Point Neural Networks Are Provably Robust Universal Approximators
von: Hwang, Geonho, et al.
Veröffentlicht: (2025)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
von: Zhang, Xiyue, et al.
Veröffentlicht: (2023)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Formal State-Machine Models for Uniswap v3 Concentrated-Liquidity AMMs: Priced Timed Automata, Finite-State Transducers, and Provable Rounding Bounds
von: Tranquilli, Julius, et al.
Veröffentlicht: (2025)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
von: Boetius, David, et al.
Veröffentlicht: (2026)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
von: Lopez-Miguel, Ignacio D., et al.
Veröffentlicht: (2025)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
von: Berger, Martin, et al.
Veröffentlicht: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)