Cover Image

A variety of partially conservative sentences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kogure, Haruka, Kurahashi, Taishi
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Doubly partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2025)

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
by: Kogure, Haruka, et al.
Published: (2026)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

Arithmetical completeness for some extensions of the pure logic of necessitation
by: Kogure, Haruka
Published: (2024)

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

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
by: Kurahashi, Taishi
Published: (2024)

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

On collection schemes and Gaifman's splitting theorem
by: Kurahashi, Taishi, et al.
Published: (2024)

Smullyan's truth and provability
by: Kurahashi, Taishi, et al.
Published: (2024)

The finite frame property of some extensions of the pure logic of necessitation
by: Kurahashi, Taishi, et al.
Published: (2023)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

Frege on the reference of sentences
by: Rodrigues, Abilio
Published: (2024)

On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

Scott-Karp analysis without sentences
by: Brunner, Andreas, et al.
Published: (2026)

First-order sentences in random groups I: universal sentences
by: Kharlampovich, O., et al.
Published: (2021)

Complete representation by partial functions for signatures containing antidomain restriction
by: McLean, Brett
Published: (2023)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
by: Paolini, Gianluca
Published: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

A note on unlikely intersections in Shimura varieties
by: Aslanyan, Vahagn, et al.
Published: (2022)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
by: Oda, Yukihiro
Published: (2025)

Models of Abelian varieties over valued fields, using model theory
by: Halevi, Yatir
Published: (2023)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

Arity hierarchies for quantifiers closed under partial polymorphisms
by: Dawar, Anuj, et al.
Published: (2025)

Cartesian closed varieties II: links to algebra and self-similarity
by: Garner, Richard
Published: (2023)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)