The following pages link to Free quantified epistemic logics (Q2016054):
Displaying 8 items.
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← 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)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- (Q5092390) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
