Two-dimensional Kripke semantics. II: Stability and completeness
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 193320 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (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 1086664 (Why is no real title available?)
- scientific article; zbMATH DE number 1560717 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 2134913 (Why is no real title available?)
- scientific article; zbMATH DE number 5934744 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- (Co)end Calculus
- A profunctorial Scott semantics
- A semantic hierarchy for intuitionistic logic
- A theory of effects and resources: adjunction models and polarised calculi
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- Another intuitionistic completeness proof
- Axiomatic Domain Theory in Categories of Partial Maps
- Categories for Types
- Choice-free Stone duality
- Choice-free topological duality for implicative lattices and Heyting algebras
- Collapsed toposes and cartesian closed varieties
- Completeness results for intuitionistic and modal logic in a categorical setting
- Completeness theorems via the double dual functor
- Constructivism in mathematics. An introduction. Volume II
- Continuous Lattices and Domains
- Distributivity of coproducts over products
- Domain theory for concurrency
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Introduction to distributive categories
- Introduction to extensive and distributive categories
- Intuitionistic propositional logic with Galois connections
- Lambek's categorical proof theory and Läuchli's abstract realizability
- Linear domains and linear maps
- Linear types and approximation
- Metric spaces, generalized logic, and closed categories
- Modal dependent type theory and dependent right adjoints
- Modal independence logic
- Modalities and Parametric Adjoints
- Multimodal dependent type theory
- Multimodal dependent type theory
- On the duality between varieties and algebraic theories
- Positive modal logic beyond distributivity
- Propositional logics of dependence
- Propositional team logics
- Some algebraic problems in the context of functorial semantics of algebraic theories
- The Logic of Bunched Implications
- The semantics and proof theory of the logic of bunched implications
- Two-dimensional Kripke semantics i: presheaves
This page was built for publication: Two-dimensional Kripke semantics. II: Stability and completeness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831444)
