scientific article; zbMATH DE number 1497740

zbMATH Open0959.03504MaRDI QIDQ4499150FDOQ4499150

Authors: Steve Awodey, Lars Birkedal, Dana Scott 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Local realizability toposes and a modal logic for computability
• Absolute \(L\)-realizability and intuitionistic logic
• Intuitionistic logic and modality via topology
• Realizability and intuitionistic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• A Generalized Realizability and Intuitionistic Logic
• Local applications of logics via model-theoretic interpretations
• scientific article; zbMATH DE number 2196608
• scientific article; zbMATH DE number 5316602
• scientific article; zbMATH DE number 1759442

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Topoi (18B25)

Cited In (7)

• Sheaf toposes for realizability
• Realizability toposes from specifications
• Relative and modified relative realizability
• Introduction to Turing categories
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Local realizability toposes and a modal logic for computability
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499150)