The following pages link to Gennady Shtakser (Q1743998):
Displaying 4 items.
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
