The following pages link to Free quantified epistemic logics (Q2016054):
Displayed 9 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)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)