The following pages link to Towards Syntactic Epistemic Logic (Q5038565):
Displaying 5 items.
- Syntactic awareness in logical dynamics (Q513899) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Expressivity Hierarchy of Languages for Epistemic Awareness Models (Q2859110) (← links)
- (Q3535119) (← links)
- Altenatives to Kripke semantics for epistemic logic (Q6581946) (← links)