Pages that link to "Item:Q1855214"

The following pages link to Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214):

Displaying 2 items.

• A knowledge-based analysis of global function computation (Q660991) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)