Pages that link to "Item:Q1743999"
From MaRDI portal
The following pages link to Propositional epistemic logics with quantification over agents of knowledge (Q1743999):
Displaying 11 items.
- Free quantified epistemic logics (Q2016054) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← 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)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- (Q5092390) (← 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)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
- Revisiting epistemic logic with names (Q6642565) (← links)