Imagen de Portada

Term algebras of elementarily equivalent atom structures

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Andréka, H., Németi, I.
Formato:	Preprint
Publicado:	2018
Materias:	Logic 06E25, 03G15, 03B10, 03B45
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Varieties generated by completions
por: Andréka, H., et al.
Publicado: (2018)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
por: Knudstorp, Søren Brinck
Publicado: (2025)

Stone type representation theorems via games
por: Aslan, Tuğba, et al.
Publicado: (2018)

Logic families
por: Andréka, H., et al.
Publicado: (2023)

Local finiteness in varieties of MS4-algebras
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

Nonrepresentable relation algebras from group systems
por: Andréka, H., et al.
Publicado: (2018)

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

Correspondence Theory for Many-valued Modal Logic
por: Britz, Cecelia, et al.
Publicado: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Local tabularity in MS4 with Casari's axiom
por: Meadors, Chase
Publicado: (2024)

Transposition of variables is hard to describe
por: Andréka, H., et al.
Publicado: (2024)

Decidable varieties of p-algebras
por: Kowalski, Tomasz, et al.
Publicado: (2024)

The Monadic Grzegorczyk Logic
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

A mixed logic with binary operators
por: Düntsch, Ivo, et al.
Publicado: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
por: Shapirovsky, Ilya B., et al.
Publicado: (2025)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
por: Knudstorp, Søren Brinck
Publicado: (2025)

Maximality Principles in Modal Logic and the Axiom of Choice
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

On the structure of modal and tense operators on a boolean algebra
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

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

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
por: Tanaka, Yoshihito
Publicado: (2025)

A calculus for modal compact Hausdorff spaces
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

Sufficient conditions for local tabularity of a polymodal logic
por: Shapirovsky, Ilya B.
Publicado: (2022)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
por: Holliday, Wesley H.
Publicado: (2022)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
por: Cornejo, Juan M., et al.
Publicado: (2024)

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

Testing definitional equivalence of theories via automorphism groups
por: Andréka, H., et al.
Publicado: (2022)

Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)

Locally tabular products of modal logics
por: Shapirovsky, Ilya B., et al.
Publicado: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
por: Coquand, Thierry, et al.
Publicado: (2017)

The variety of coset relation algebras
por: Givant, Steven, et al.
Publicado: (2018)

Generalizations of The Finite Height Criterion for Local Tabularity
por: Shapirovsky, Ilya B.
Publicado: (2025)

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

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

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

Intuitionistic Sahlqvist theory for deductive systems
por: Fornasiere, Damiano, et al.
Publicado: (2022)

The prime spectrum of an $L$-algebra
por: Rump, W., et al.
Publicado: (2022)

On distance logics of Euclidean spaces
por: Agnew, Gabriel, et al.
Publicado: (2025)

Constructing maximal cofinitary groups
por: Schrittesser, David
Publicado: (2021)