Embedding Classical Logic in S4.

Activity: Talk or presentation types › Presentation

Description

S2S Talk
Period24 Jul 2019
Held atLudwig-Maximilians University Munich, Germany
Degree of RecognitionLocal