Truth, modality and intersubjectivity

DOI10.1017/S0960129507006342MaRDI QIDQ5437028zbMATH OpenOpenAlexFDO

Authors Jean-Yves Girard

Publication date 18 January 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129507006342

zbMATH Keywords

foundationsmodal logicquantum computingquantum geometrytruth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) General topics in artificial intelligence (68T01) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68) Models of societies, social and urban evolution (91D10)

Recommendations

• scientific article; zbMATH DE number 761258
• Editorial: Modality, of course! Modal logic, si! Modality and modal logic
• scientific article; zbMATH DE number 1694621
• scientific article; zbMATH DE number 1775471
• scientific article; zbMATH DE number 1867302

Cited in

(11)

• Truthmakers and modality
• On the possibility of a substantive theory of truth
• Logic, truth and the modalities. From a phenomenological perspective
• Quantum coherent spaces and linear logic
• scientific article; zbMATH DE number 3900717 (Why is no real title available?)
• scientific article; zbMATH DE number 6108188 (Why is no real title available?)
• Constructing a normal form for property theory
• Truth, Trivialism, and Perceptual Illusions
• A computational meta-model of the reality and the problem of truth
• scientific article; zbMATH DE number 5060067 (Why is no real title available?)
• Quantum coherence spaces revisited: a von Neumann (co)algebraic approach

This page was built for publication: Truth, modality and intersubjectivity

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