Pages that link to "Item:Q1743999"
From MaRDI portal
The following pages link to Propositional epistemic logics with quantification over agents of knowledge (Q1743999):
Displayed 7 items.
- 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)
- (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)