Dynamic Tableaux for Public Announcement Logic, paper presented at Uni-Log 2012 conference - Rio de Janeiro, 2012

Jonas De Vuyst

Onderzoeksoutput: Meeting abstract (Book)

Samenvatting

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

Conference

ConferenceUnknown
Periode1/01/12 → …

Citeer dit