DMCA

KE Tableaux for Public Announcement Logic (2007)

by Mathijs S. De Boer