Cover Image

Doubly partially conservative sentences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kogure, Haruka, Kurahashi, Taishi
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

A variety of partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2024)

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)

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

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

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

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

On collection schemes and Gaifman's splitting theorem
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)

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

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)

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)

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)

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

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)

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)

When is the partial map classifier a Sierpiński cone?
by: Pugh, Leoni, et al.
Published: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)