Games semantics, linear logic, linear nested sequents, logical frameworks, modal logic, multimodalities, sequent system.
