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

  • Klaus Frovin Jørgensen (Foredragsholder)

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Periode22 maj 2014
BegivenhedstitelModality and Modalities 3
BegivenhedstypeKonference
PlaceringSverigeVis på kort