Cover Image

The Provably Total Set-Recursive Functions of KPl

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aguilera, Juan Pablo, Fernández, Anton, Joosten, Joost J.
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

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)

Feferman Interpretability
by: Joosten, Joost J., et al.
Published: (2024)

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

Coherency through formalisations of Structured Natural Language, A case study on FRETish
by: Joosten, Joost J., et al.
Published: (2026)

Ultrafilter Extensions for Veltman Semantics
by: Gonzalez, Felix Frigola, et al.
Published: (2026)

Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)

The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Provability Models
by: Mojtahedi, Mojtaba, et al.
Published: (2025)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Polytopological Semantics for Intuitionistic Modal Logics
by: Aguilera, Juan P., et al.
Published: (2026)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Winkler, Tobias, et al.
Published: (2021)

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

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

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

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

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

Mazurkiewicz Sets and Containment of Sierpiński-Zygmund Functions under Rotations
by: Pan, Cheng-Han
Published: (2025)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

The Cardinalities of Intervals of Equational Theories and Logics
by: Aguilera, Juan P., et al.
Published: (2026)

The Reverse Mathematics of Analytic Measurability
by: Aguilera, Juan P., et al.
Published: (2026)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

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)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Multi-clocked Guarded Recursion Beyond ω
by: Møgelberg, Rasmus Ejlers
Published: (2025)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
by: Kori, Mayuko
Published: (2026)

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
by: Brogni, Anthony, et al.
Published: (2023)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
by: Rybakov, Mikhail
Published: (2025)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Modular Automatic Complexity Analysis of Recursive Integer Programs
by: Lommen, Nils, et al.
Published: (2025)