Cover Image

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lambert, Michael J.
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic 18B25, 03B45, 18C50
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

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

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

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

Games as recursive coalgebras: A categorical view on the Nim-sum
by: Hora, Ryuya
Published: (2025)

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Hochschild cohomology in toposes
by: Michie, Cameron, et al.
Published: (2024)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

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

Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)