Imagen de Portada

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kurahashi, Taishi
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Modular constructive Lyndon interpolation for nondistributive logics
por: De Domenico, Andrea, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

Doubly partially conservative sentences
por: Kogure, Haruka, et al.
Publicado: (2025)

Tableau methodology for propositional logics
por: Jarmuzek, T., et al.
Publicado: (2025)

A joint logic of problems and propositions
por: Melikhov, Sergey A.
Publicado: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
por: Sato, Yuta
Publicado: (2025)

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

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

Extensional Independence
por: Kurahashi, Taishi, et al.
Publicado: (2025)

Uniform interpolation for interpretability logic
por: Horvat, Sebastijan, et al.
Publicado: (2025)

Expressibility and inexpressibility in propositional team logics
por: Häggblom, Matilda, et al.
Publicado: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Set-like operations on propositional logic programs
por: Antić, Christian
Publicado: (2026)

Generating proof systems for three-valued propositional logics
por: Greati, Vitor, et al.
Publicado: (2024)

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

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

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

Fischer-Servi logic does not have interpolation
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2026)

On propositional logic semirings
por: Li, Wenxi, et al.
Publicado: (2024)

S4 modal sequent calculus as intermediate logic and intermediate language
por: Caspar, Jean, et al.
Publicado: (2026)

Bi-intermediate logics of trees and co-trees
por: Bezhanishvili, N., et al.
Publicado: (2022)

Tabular intermediate logics comparison
por: Rzążewski, Paweł, et al.
Publicado: (2025)

The interpolant existence problem for weak K4 and difference logic
por: Kurucz, Agi, et al.
Publicado: (2024)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
por: Su, Youan
Publicado: (2025)

A note on the modal logic of symmetric extensions
por: Duncan, Hope
Publicado: (2026)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
por: Cantone, Domenico, et al.
Publicado: (2017)

There are only countably many locally tabular bi-intermediate logics of co-trees
por: Martins, Miguel
Publicado: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
por: van der Giessen, Iris, et al.
Publicado: (2023)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
por: Cantone, Domenico, et al.
Publicado: (2018)

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

A propositional cirquent calculus for computability logic
por: Japaridze, Giorgi
Publicado: (2024)