Pages that link to "Item:Q2323640"

The following pages link to Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640):

Displaying 3 items.

• (Q5092390) (← 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)