The information in intuitionistic logic

DOI10.1007/S11229-008-9408-5zbMATH Open1172.03312OpenAlexW2095816419MaRDI QIDQ833032FDOQ833032

Authors: Johan van Benthem 

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9408-5

Recommendations

• scientific article; zbMATH DE number 589737
• Introduction: from information at large to semantics of logics
• scientific article; zbMATH DE number 6131418
• The logic of information structures
• An epistemic logic for becoming informed

zbMATH Keywords

informationepistemic logicintuitionistic logicdynamic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Modal logic
• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Dynamic Epistemic Logic and Knowledge Puzzles
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Merging frameworks for interaction
• A knowledge based semantics of messages
• The tree of knowledge in action: towards a common perspective
• Models for normal intuitionistic modal logics
• Title not available (Why is that?)
• Negation. A notion in focus. Proceedings volume of an interdisciplinary workshop held during the conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), Leipzig, Germany, September 7--10, 1994
• Title not available (Why is that?)

Cited In (22)

• Logical information theory: new logical foundations for information theory
• Competitive equilibrium with intuitionistic agents
• Modeling reasoning in a social setting
• Constructive agents
• Title not available (Why is that?)
• A semantic hierarchy for intuitionistic logic
• On the semantics of informational independence
• Inquisitive logic
• The logic of information structures
• Title not available (Why is that?)
• INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• An informational view of classical logic
• Information and knowledge. A constructive type-theoretical approach
• Toward a dynamic logic of questions
• Decisions, Actions, and Games: A Logical Perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Talking about knowledge
• Title not available (Why is that?)
• Mathematics of public announcements

This page was built for publication: The information in intuitionistic logic

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