Intuitionistic modal logic and applications : (IMLA ' 02) ; workshop proceedings ; LICS Satellite Workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002

Mendler, MichaelMichaelMendlerGoré, RajeevMendler, Michael2019-09-192014-09-242002https://fis.uni-bamberg.de/handle/uniba/7837engIntuitionistic modal logic and applications : (IMLA ' 02) ; workshop proceedings ; LICS Satellite Workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002conferenceobject