Recommended Item: A tableaux method for dolev-yao multi-agent epistemic logic

To recommend this item to someone, complete the form below. Fields marked with a '*' are required.