Copertina

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Bahl, Rohan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03B22 (Primary) 03B42, 03D70 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

Rule-Elimination Theorems
di: Roy, Sayantan
Pubblicazione: (2024)

Examples and counterexamples of injective types
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Cardinality in a paraconsistent and paracomplete set theory
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
di: Greati, Vitor, et al.
Pubblicazione: (2023)

Univalent Material Set Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2023)

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2020)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Logics of polyhedral reachability
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)

Interpolation in Non-Classical Logics
di: Fussner, Wesley
Pubblicazione: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
di: Wang, Shuwei
Pubblicazione: (2026)

Proof-theoretic methods in quantifier-free definability
di: Kocsis, Zoltan A.
Pubblicazione: (2023)

Formalizing Pfaffian in bounded arithmetic
di: Kuroda, Satoru
Pubblicazione: (2024)

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

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

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

State-based Modal Logics for Free Choice
di: Aloni, Maria, et al.
Pubblicazione: (2023)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
di: Gallardo, Andrés, et al.
Pubblicazione: (2024)

LF: a Foundational Higher-Order-Logic
di: Goodsell, Zachary, et al.
Pubblicazione: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
di: Guallart, Nino
Pubblicazione: (2024)

Apartness relations between propositions
di: Kocsis, Zoltan A.
Pubblicazione: (2022)

Definability over $\mathrm BΣ^0_2$-models
di: Chong, Chi Tat, et al.
Pubblicazione: (2025)

Justification Logics in a Fuzzy Setting
di: Ghari, Meghdad
Pubblicazione: (2014)

Very large set axioms over constructive set theories
di: Jeon, Hanul, et al.
Pubblicazione: (2022)

Game semantics for the constructive $μ$-calculus
di: Pacheco, Leonardo
Pubblicazione: (2023)

A proof-theoretical approach to some extensions of first order quantification
di: Allègre, Loïc, et al.
Pubblicazione: (2024)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)