A constructive modal semantics for contextual verification
Speaker(s) | Guiseppe Primiero |
---|---|
Date | 14 September 2009 |
Place | Potsdam, Germany |
Occasion | First International Workshop on "Logic-based Interpretation of Context: Modelling and Applications (Log-IC 2009)" - LPNMR09 |
Category | Contributed |
Slides | slides_LOG-IC09.pdf |