Pages that link to "Item:Q4276167"

The following pages link to Naming and Identity in Epistemic Logics Part I: The Propositional Case (Q4276167):

Displaying 18 items.

• A logic for reasoning about ambiguity (Q490518) (← links)
• A knowledge-based analysis of global function computation (Q660991) (← links)
• Modal logic with names (Q1310624) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
• Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
• Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
• Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← 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)
• Ambiguous language and common priors (Q2343393) (← links)
• Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
• (Q3384077) (← links)
• (Q4028802) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
• Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
• Revisiting epistemic logic with names (Q6642565) (← links)
• \textit{De re} updates (Q6642569) (← links)