Dynamic Tableaux for Public Announcement Logic - paper presented at The Reasoning Club Conference, Brussels, 2011

Jonas De Vuyst

Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)

Fingerprint

Dive into the research topics of 'Dynamic Tableaux for Public Announcement Logic - paper presented at The Reasoning Club Conference, Brussels, 2011'. Together they form a unique fingerprint.