Imagen de Portada

Varieties of modal algebras without the congruence extension property

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gyenis, Zalán, Molnár, Zalán
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

More on modal logics and deduction
por: Gyenis, Zalán, et al.
Publicado: (2026)

On covers of quasivarieties of p-algebras
por: Gyenis, Zalán
Publicado: (2026)

Probabilities are always axiomatizable
por: Gyenis, Zalán
Publicado: (2025)

Ultrafilter extensions of bounded graphs are elementary
por: Molnár, Zalán
Publicado: (2024)

Notes on ultrafilter extensions of almost bounded structures
por: Molnár, Zalán
Publicado: (2025)

Permutations, substitutions and finite axiomatizability
por: Andréka, Hajnal, et al.
Publicado: (2025)

Substitutions of variables are finitely axiomatizable over quantifications and permutations
por: Andréka, Hajnal, et al.
Publicado: (2025)

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
por: Banerjee, Amitayu, et al.
Publicado: (2023)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
por: Banerjee, Amitayu, et al.
Publicado: (2024)

Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
por: Banerjee, Amitayu, et al.
Publicado: (2024)

Uncountably many conditionally inaccessible decisions exist in every finite probability space
por: Gyenis, Zalán, et al.
Publicado: (2026)

The completeness and congruences of quasi-Boolean algebras
por: Liu, Xiaohao, et al.
Publicado: (2025)

Questionable and Unquestionable in Quantum Mechanics
por: Szabo, Laszlo E., et al.
Publicado: (2023)

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

Separation of congruence intervals and implications
por: Bulatov, Andrei A.
Publicado: (2020)

Distinguishing chromatic number of middle and subdivision graphs
por: Banerjee, Amitayu, et al.
Publicado: (2024)

Upper bounds for the list-distinguishing chromatic number
por: Banerjee, Amitayu, et al.
Publicado: (2024)

On Distinguishing Graphs and Cost Number using Automorphism Representations
por: Gopaulsingh, Alexa, et al.
Publicado: (2025)

Automorphism groups and Distinguishing Colorings of Central and Middle Graphs
por: Banerjee, Amitayu, et al.
Publicado: (2025)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
por: Sobota, Damian, et al.
Publicado: (2023)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
por: Alpay, Natanael, et al.
Publicado: (2022)

Varieties of De Morgan bisemilattices
por: Paoli, Francesco, et al.
Publicado: (2026)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

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

Geometric theories for real number algebra without sign test or dependent choice axiom
por: Lombardi, Henri, et al.
Publicado: (2024)

Oracle modalities
por: Swan, Andrew W
Publicado: (2024)

A modal approach towards substitutions
por: Tu, Yaxin, et al.
Publicado: (2025)

Modal definability in Euclidean modal logics
por: Balbiani, Philippe, et al.
Publicado: (2025)

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

Model-theoretic properties of nilpotent groups and Lie algebras
por: d'Elbée, Christian, et al.
Publicado: (2023)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Interpolation for the two-way modal mu-calculus
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

Bilateral base-extension semantics
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

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

Cut-elimination for the alternation-free modal mu-calculus
por: Afshari, Bahareh, et al.
Publicado: (2025)

Intrinsic and relative characterization results for logics with negative modalities
por: de Groot, Jim, et al.
Publicado: (2025)

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Class of extensions of real field and their topological properties
por: Alexandrov, E. V.
Publicado: (2025)