Pages that link to "Item:Q2067514"

The following pages link to Quantifier-free epistemic term-modal logic with assignment operator (Q2067514):

Displaying 2 items.

• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• Modal logics with non-rigid propositional designators (Q6562528) (← links)