Pages that link to "Item:Q5381039"
From MaRDI portal
The following pages link to EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039):
Displaying 5 items.
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- Revisiting epistemic logic with names (Q6642565) (← links)
