The following pages link to (Q5092390):
Displaying 4 items.
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← 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)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
