Cover Image

A formulation of D-institution using functor categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hashimoto, Go
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
by: Găină, Daniel, et al.
Published: (2026)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Relative fixed points of functors
by: Schoen, Ezra, et al.
Published: (2023)

Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

The category of well-filtered dcpos is not $Γ$-faithful
by: Miao, Hualin, et al.
Published: (2024)

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
by: Aristote, Quentin
Published: (2025)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

The internal languages of univalent categories
by: van der Weide, Niels
Published: (2024)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)

Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)

Hofmann-Streicher lifting of fibred categories
by: Slattery, Andrew, et al.
Published: (2025)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

AI Space Physics: Constitutive boundary semantics for open AI institutions
by: Romanchuk, Oleg, et al.
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)