The information in intuitionistic logic

DOI10.1007/s11229-008-9408-5zbMath1172.03312OpenAlexW2095816419MaRDI QIDQ833032

J. F. A. K. 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

zbMATH Keywords

informationdynamic logicintuitionistic logicepistemic logic

Mathematics Subject Classification ID

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

Related Items

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Constructive agents ⋮ Competitive equilibrium with intuitionistic agents ⋮ Inquisitive logic ⋮ Talking About Knowledge ⋮ A semantic hierarchy for intuitionistic logic ⋮ Toward a dynamic logic of questions ⋮ Modeling reasoning in a social setting ⋮ Decisions, Actions, and Games: A Logical Perspective ⋮ Mathematics of Public Announcements

Cites Work

• Merging frameworks for interaction
• Models for normal intuitionistic modal logics
• Constructivism in mathematics. An introduction. Volume I
• Language in action. Categories, lambdas and dynamic logic
• A knowledge based semantics of messages
• Dynamic Epistemic Logic and Knowledge Puzzles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item