Cover Image

Two-dimensional Kripke Semantics II: Stability and Completeness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kavvos, G. A.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory Logic 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary) F.4.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

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

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

Degrees of join-distributivity via Bruns-Lakser towers
by: Bezhanishvili, G., et al.
Published: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

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

On the tensor product of completely distributive quantale-enriched categories
by: Balan, Adriana
Published: (2025)

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

A classifying localic category for locally compact locales
by: Townsend, Christopher
Published: (2026)

The category of topological spaces and open maps does not have products
by: Bezhanishvili, Guram, et al.
Published: (2024)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

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

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

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

On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Discontinuous actions on cones, joins, and $n$-universal bundles
by: Chirvasitu, Alexandru
Published: (2025)

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

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Di-Exact Categories and Lattices of Normal Subobjects
by: Afsa, Florent
Published: (2024)

Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)