Two-dimensional Kripke semantics i: presheaves
From MaRDI portal
Cites work
- (Co)end Calculus
- A categorical outlook on relational modalities and simulations
- A semantic hierarchy for intuitionistic logic
- Bisimulation from open maps
- Boolean Algebras with Operators
- Categorical homotopy theory
- Categories for Types
- Categories of frames for modal logic
- Category theory in context
- Completely Distributive Complete Lattices
- Every Grothendieck topos has a one-way site
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Fitch-style modal lambda calculi
- Frames and Locales
- Heyting algebras with operators
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Higher categories and homotopical algebra
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 3949678 (Why is no real title available?)
- scientific article; zbMATH DE number 3957387 (Why is no real title available?)
- scientific article; zbMATH DE number 4072929 (Why is no real title available?)
- scientific article; zbMATH DE number 3706414 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 19038 (Why is no real title available?)
- scientific article; zbMATH DE number 193320 (Why is no real title available?)
- scientific article; zbMATH DE number 1241699 (Why is no real title available?)
- scientific article; zbMATH DE number 1303434 (Why is no real title available?)
- scientific article; zbMATH DE number 1303764 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1086660 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 1848312 (Why is no real title available?)
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- scientific article; zbMATH DE number 1431908 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 5241983 (Why is no real title available?)
- scientific article; zbMATH DE number 3222132 (Why is no real title available?)
- scientific article; zbMATH DE number 3260754 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- Incompleteness results in Kripke semantics
- Intuitionistic propositional logic with Galois connections
- Intuitionistic tense and modal logic
- Kripke Semantics for Martin-L\"of's Extensional Type Theory
- Kripke-style models for typed lambda calculus
- Lectures on the Curry-Howard isomorphism
- Logic in Computer Science
- Mathematical modal logic: A view of its evolution
- Metamathematics of modal logic
- Metric spaces, generalized logic, and closed categories
- Modal dependent type theory and dependent right adjoints
- Modal logic
- Modalities and Parametric Adjoints
- Models for normal intuitionistic modal logics
- Modes of adjointness
- Multimodal dependent type theory
- Multimodal dependent type theory
- Normalization for multimodal type theory
- On intuitionistic diamonds (and lack thereof)
- On right adjoints to exponential functors
- Open maps of toposes
- Petri nets, event structures and domains. I
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Presheaf semantics and independence results for some non-classical first- order logics
- Prime algebraicity
- Profunctors, open maps and bisimulation
- Programming Languages and Systems
- Second-Order Algebraic Theories
- Second-Order Equational Logic (Extended Abstract)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Stone duality, topological algebra, and recognition.
- Temporal Logics
- The foundations of mathematics. A study in the philosophy of science
- The fundamental duality of partially ordered sets
- Topo-logie
- Topos Semantics for Higher-Order Modal Logic
- Toposes over which essential implies locally connected
This page was built for publication: Two-dimensional Kripke semantics i: presheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6874999)
