Richiedi una copia del documento: A sound and complete tableau calculus for reasoning about only knowing and knowing at most

Captcha code
Annulla