On the Development of a Seligman-Style Tableau System for Hybrid Logic

Klaus Frovin Jørgensen (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode22 maj 2014
Sted for afholdelseModality and Modalities 3
BegivenhedstypeKonference
Placering, Sverige