Copertina

A mixed logic with binary operators

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Düntsch, Ivo, Gruszczyński, Rafał, Menchón, Paula
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 06E25, 03B45
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards a logic of affordances
di: Gruszczynski, Rafal, et al.
Pubblicazione: (2025)

Extended Contact Algebras: Algebraic analysis and duality theory
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2025)

Ultracontact algebras and stack systems
di: Carai, Luca, et al.
Pubblicazione: (2026)

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

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

Conditional algebras
di: Celani, Sergio, et al.
Pubblicazione: (2024)

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

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

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

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

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

The Monadic Grzegorczyk Logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

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

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

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

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

Hybrid logic for strict betweenness
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Models for the common knowledge logic
di: Tanaka, Yoshihito
Pubblicazione: (2024)

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

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

Discrete dualities for some algebras from rough sets
di: Düntsch, Ivo, et al.
Pubblicazione: (2026)

Forcing More DC Over the Chang Model Using the Thorn Sequence
di: Holland, James, et al.
Pubblicazione: (2022)

On Nondefinability of Interior-Connectedness via the Contact Relation
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2025)

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

Subresiduated Nelson Algebras
di: Lubomirsky, Noemí, et al.
Pubblicazione: (2024)

Mice with Woodin cardinals from a Reinhardt
di: Schlutzenberg, Farmer
Pubblicazione: (2024)

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

Local mantles of $L[x]$
di: Schlutzenberg, Farmer
Pubblicazione: (2021)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
di: Lücke, Philipp
Pubblicazione: (2024)

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

Monoidal Symmetric Models
di: Basak, Dianthe
Pubblicazione: (2024)