A Lindstrm characterisation of the guarded fragment and of modal logic with a global modality.

Martin Otto, Robert Piro

Browse the full AiML paper archive.