Recommendations
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)