Pages that link to "Item:Q833032"
From MaRDI portal
The following pages link to The information in intuitionistic logic (Q833032):
Displaying 22 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Inquisitive logic (Q626493) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- An informational view of classical logic (Q897935) (← links)
- The logic of information structures (Q1310268) (← links)
- Constructive agents (Q1688949) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Information and knowledge. A constructive type-theoretical approach (Q2464131) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)
- On the semantics of informational independence (Q3147434) (← links)
- Talking About Knowledge (Q3299839) (← links)
- Decisions, Actions, and Games: A Logical Perspective (Q3601797) (← links)
- (Q3750154) (← links)
- (Q4133604) (← links)
- (Q4250053) (← links)
- (Q4253663) (← links)
- (Q4793392) (← links)
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH (Q5082067) (← links)
- Logical information theory: new logical foundations for information theory (Q5095631) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- (Q5490623) (← links)