The information in intuitionistic logic

DOI10.1007/S11229-008-9408-5MaRDI QIDQ833032zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 11 August 2009

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

informationepistemic logicintuitionistic logicdynamic logic

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3122423 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 589737 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 5064947 (Why is no real title available?)
• A knowledge based semantics of messages
• Constructivism in mathematics. An introduction. Volume I
• Dynamic Epistemic Logic and Knowledge Puzzles
• Language in action. Categories, lambdas and dynamic logic
• Merging frameworks for interaction
• Modal logic
• Models for normal intuitionistic modal logics
• 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
• The tree of knowledge in action: towards a common perspective

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
• A semantic hierarchy for intuitionistic logic
• scientific article; zbMATH DE number 3986682 (Why is no real title available?)
• On the semantics of informational independence
• Inquisitive logic
• The logic of information structures
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1867304 (Why is no real title available?)
• scientific article; zbMATH DE number 5060081 (Why is no real title available?)
• scientific article; zbMATH DE number 1322635 (Why is no real title available?)
• Talking about knowledge
• scientific article; zbMATH DE number 3557755 (Why is no real title available?)
• 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)