Skip to main navigation Skip to search Skip to main content

Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Event)

Activity: Membership › Membership in review committee

Description

Chairman of judgement committee
Period31 Oct 2013
Event titleTableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur)
Event typeOther
LocationRoskilde , DenmarkShow on map
Degree of RecognitionInternational