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

Jonas De Vuyst

Onderzoeksoutput: Meeting abstract (Book)

Samenvatting

This Paper is about Dynamic Tableaux for Public Announcement Logic
Originele taal-2English
TitelUnknown
StatusPublished - 2011
EvenementUnknown -
Duur: 1 jan 2011 → …

Conference

ConferenceUnknown
Periode1/01/11 → …

Citeer dit