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)

Abstract

This Paper is about Dynamic Tableaux for Public Announcement Logic
Original languageEnglish
Title of host publicationUnknown
Publication statusPublished - 2011
EventUnknown -
Duration: 1 Jan 2011 → …

Conference

ConferenceUnknown
Period1/01/11 → …

Keywords

  • philosophy
  • dynamic tableaux

Cite this