Term-Modal Logics

Melvin Fitting, Lars Thalmann, Andrei Voronkov, Roy Dyckhoff (Editor)

    Research output: Chapter in Book/Conference proceedingConference contribution

    Cite this