Methods for Modalities - CALL FOR PARTICIPATION
Methods for Modalities The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments,... Sign in to see full entry.