Buchumschlag

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bezhanishvili, Nick, Cleani, Antonio Maria
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

An explicit Kuznetsov-Muravitsky enrichment
von: Jibladze, Mamuka, et al.
Veröffentlicht: (2024)

Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
von: Takahashi, Tenyo
Veröffentlicht: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Structural Completeness in bi-IPC
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

The Cardinalities of Intervals of Equational Theories and Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Fischer-Servi logic does not have interpolation
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Stable Canonical Rules for Intuitionistic Modal Logics
von: Liao, Cheng
Veröffentlicht: (2026)

The Baire closure and its logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2021)

Bi-intermediate logics of trees and co-trees
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022)

Isomorphism Classes of Generating Sets
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Esakia order-compactifications and locally Esakia spaces
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
von: Abbadini, Marco, et al.
Veröffentlicht: (2022)

Isomorphism types of definable (maximal) cofinitary groups
von: Schembecker, Lukas
Veröffentlicht: (2025)

Isomorphism of locally compact Polish metric structures
von: Malicki, Maciej
Veröffentlicht: (2022)

Isomorphic Subtypes in a Finite Generalized Ordered Type
von: Joseph, Jean S.
Veröffentlicht: (2025)

Canonical Truth
von: Carl, Merlin, et al.
Veröffentlicht: (2017)

Hofmann-Mislove through the Lenses of Priestley
von: Bezhanishvili, G., et al.
Veröffentlicht: (2022)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
von: Ulrich, Danielle
Veröffentlicht: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2024)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Cube-based Isomorph-free Finite Model Finding
von: Chow, Choiwah, et al.
Veröffentlicht: (2025)

Saturation Properties of Ultrafilters in Canonical Inner Models
von: Benhamou, Tom
Veröffentlicht: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

The Monadic Grzegorczyk Logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Local finiteness in varieties of MS4-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Duality for distributive and implicative semi-lattices
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

Dynamic Planar Graph Isomorphism is in DynFO
von: Datta, Samir, et al.
Veröffentlicht: (2026)