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
BegivenhedstitelModality and Modalities 3
BegivenhedstypeKonference
Placering, Sverige