:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Tanaka, Yoshihito
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B45 (Primary) 06E25 (Secondary)
Acceso en línea:	https://arxiv.org/abs/2511.10966
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Monoidal Symmetric Models
por: Basak, Dianthe
Publicado: (2024)

Ultracontact algebras and stack systems
por: Carai, Luca, et al.
Publicado: (2026)

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

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

Iterated club shooting and the stationary-logic constructible model
por: Ya'ar, Ur
Publicado: (2022)

Inner models from extended logics and the Delta-operation
por: Väänänen, Jouko, et al.
Publicado: (2025)

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

Models for short sequences of measures in the cofinality-$ω$ constructible model
por: Ya'ar, Ur
Publicado: (2021)

The first measurable can be the first inaccessible cardinal
por: Gitik, Moti, et al.
Publicado: (2024)

Term algebras of elementarily equivalent atom structures
por: Andréka, H., et al.
Publicado: (2018)

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

Bourbaki--Zorn Normal Forms for Maximality Arguments
por: Liu, You-Chang
Publicado: (2026)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
por: Andretta, Alessandro, et al.
Publicado: (2023)

A non-uniform view of Craig interpolation in modal logics with linear frames
por: Kurucz, Agi, et al.
Publicado: (2023)

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

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

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

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
por: Oddsson, Hrafn Valtýr
Publicado: (2026)

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

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

Constructibility real degrees in the side-by-side Sacks model
por: Notaro, Lorenzo
Publicado: (2025)

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

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

Untranscendable order types
por: Ervin, Garrett, et al.
Publicado: (2026)

Connexive logics and connexive semi-Heyting algebras
por: Cornejo, Juan M., et al.
Publicado: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
por: Shamkanov, Daniyar
Publicado: (2021)

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

Derived Models in PFA
por: Levinson, Derek, et al.
Publicado: (2025)

The breadth of constructibility degrees and definable Sierpiński's coverings
por: Andretta, Alessandro, et al.
Publicado: (2024)

Approaching a Bristol model
por: Karagila, Asaf
Publicado: (2020)

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

Building Models of Determinacy from Below
por: Kasum, Obrad, et al.
Publicado: (2024)

A note on the theory of well orders
por: Jeřábek, Emil
Publicado: (2024)