{"paper":{"title":"Proceedings of the Ninth Workshop on Methods for Modalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chennai), R. Ramanujam (Institute of Mathematical Sciences, Sujata Ghosh (Indian Statistical Institute","submitted_at":"2017-03-06T06:12:53Z","abstract_excerpt":"Methods for Modalities is a series aimed at bringing together researchers  interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term \"modal logics\" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc. The first workshop was held in May 1999 in Amsterdam, and since then it has travelled the world. Please see https://cs.famaf.unc.edu.ar/~careces/M4M  for information on past editions of M4M.\n  The 9th Methods for Modalities Workshop is being held at the I"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.01736","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}