Cover Image

Provability Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mojtahedi, Mojtaba, Miranda, Borja Sierra
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Provability Logic of HA
by: Mojtahedi, Mojtaba
Published: (2022)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
by: Mojtahedi, Mojtaba
Published: (2022)

Proof Theory for Bimodal Provability Logics
by: Miranda, Borja Sierra, et al.
Published: (2026)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
by: Mojtahedi, Mojtaba, et al.
Published: (2024)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Cut elimination for a non-wellfounded system for the master modality
by: Miranda, Borja Sierra, et al.
Published: (2025)

Coalgebraic proof translations for non-wellfounded proofs
by: Miranda, Borja Sierra, et al.
Published: (2025)

Uniform interpolation for interpretability logic
by: Horvat, Sebastijan, et al.
Published: (2025)

Knowledge and Common Knowledge of Strategies
by: Miranda, Borja Sierra, et al.
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

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

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

Strong Completeness of Provability Logic for Uncountable Languages
by: Golshani, Mohammad, et al.
Published: (2026)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
by: Becker, Justus
Published: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
by: Kogure, Haruka
Published: (2025)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Provably Explaining Neural Additive Models
by: Bassan, Shahaf, et al.
Published: (2026)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
by: Maniwa, Akinori, et al.
Published: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
by: Teuber, Samuel, et al.
Published: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

Arboles de Forzamiento Semántico para la Logica de Predicados
by: Aristizábal, Manuel Sierra
Published: (2023)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

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

Floating-Point Neural Networks Are Provably Robust Universal Approximators
by: Hwang, Geonho, et al.
Published: (2025)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
by: Zhang, Xiyue, et al.
Published: (2023)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
by: Boetius, David, et al.
Published: (2026)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

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

Nairian Models
by: Blue, Douglas, et al.
Published: (2025)