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.
To recommend this item to someone, complete the form below. Fields marked with a '*' are required.