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 9 items.

• A knowledge-based analysis of global function computation (Q660991) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
• Free quantified epistemic logics (Q2016054) (← links)
• Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
• Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
• (Q3384077) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)