Pages that link to "Item:Q2957974"
From MaRDI portal
The following pages link to A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974):
Displayed 9 items.
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)