Buchumschlag

A formulation of D-institution using functor categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hashimoto, Go
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Induction rules for Transition Algebra
von: Hashimoto, Go
Veröffentlicht: (2026)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
von: Găină, Daniel, et al.
Veröffentlicht: (2026)

Model-theoretic Forcing in Transition Algebra
von: Hashimoto, Go, et al.
Veröffentlicht: (2025)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

A categorical formulation of Kraus' paradox
von: Swan, Andrew W.
Veröffentlicht: (2024)

Relative fixed points of functors
von: Schoen, Ezra, et al.
Veröffentlicht: (2023)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Compositional Taylor expansion in cartesian differential categories
von: Walch, Aymeric
Veröffentlicht: (2025)

The category of well-filtered dcpos is not $Γ$-faithful
von: Miao, Hualin, et al.
Veröffentlicht: (2024)

Adhesive category theory for graph rewriting in Rocq
von: Arsac, Samuel, et al.
Veröffentlicht: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
von: Aristote, Quentin
Veröffentlicht: (2025)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

The internal languages of univalent categories
von: van der Weide, Niels
Veröffentlicht: (2024)

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

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

A type-theoretic approach to semistrict higher categories
von: Rice, Alex
Veröffentlicht: (2025)

Unbiasing symmetric monoidal categories in Lean
von: Carlier, Robin
Veröffentlicht: (2026)

Hofmann-Streicher lifting of fibred categories
von: Slattery, Andrew, et al.
Veröffentlicht: (2025)

Monoidal categories graded by partial commutative monoids
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2026)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Between Markov and restriction: Two more monads on categories for relations
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2025)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

AI Space Physics: Constitutive boundary semantics for open AI institutions
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)