Imagen de Portada

On the unification problem for GLP

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Beklemishev, Lev D.
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B45, 03F45
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Periodic frames
por: Beklemishev, Lev D., et al.
Publicado: (2024)

Automatic structures and the problem of natural well-orderings
por: Beklemishev, Lev D., et al.
Publicado: (2024)

A proof system for the positive fragment of GL
por: Tanaka, Yoshihito
Publicado: (2026)

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

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

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

Blok-Esakia Theorems via Stable Canonical Rules
por: Bezhanishvili, Nick, et al.
Publicado: (2022)

Finite model property of pretransitive analogues of (w)K4 and GL
por: Dvorkin, Lev
Publicado: (2024)

Monotonicity versus positivity in modal logics
por: Dvorkin, Lev
Publicado: (2026)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

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

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

The fork and its role in unification of closure algebras
por: Düntsch, Ivo, et al.
Publicado: (2023)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2024)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Sub-sub-intuitionistic logic
por: Deakin, Jonte, et al.
Publicado: (2024)

Dismantling the Surprise Test "Paradox"
por: Dietzfelbinger, Martin
Publicado: (2026)

A Basic Łukasiewicz m-valued conditional logic
por: Huo, Shuquan
Publicado: (2024)

Pretabular Tense Logics over S4t
por: Chen, Qian
Publicado: (2024)

Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)

Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)

On connexivity in modal and conditional contexts
por: Olkhovikov, Grigory K.
Publicado: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
por: Bonzio, Stefano, et al.
Publicado: (2024)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
por: Sliusarev, Vladislav
Publicado: (2024)

On Many-logic modal structures and information-based logics
por: Martins, Manuel, et al.
Publicado: (2026)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
por: Kudinov, Andrey, et al.
Publicado: (2023)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

Twins: non-isomorphic models forced to be isomorphic. Part I
por: Shelah, Saharon
Publicado: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

Sheaves as oracle computations
por: Ahman, Danel, et al.
Publicado: (2026)

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

Models for the common knowledge logic
por: Tanaka, Yoshihito
Publicado: (2024)

Failure of Esakia's theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
por: Guallart, Nino
Publicado: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
por: Olkhovikov, Grigory
Publicado: (2024)