Pages that link to "Item:Q5224590"
From MaRDI portal
The following pages link to When Names Are Not Commonly Known: Epistemic Logic with Assignments (Q5224590):
Displaying 6 items.
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- (Q4028802) (← links)
- (Q5092390) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- \textit{De re} updates (Q6642569) (← links)