datalicense

All datasets / sileod

sileod/ModalFlip

525 downloads in 30 days0 likesLast modified 8 Oct 2026View on Hugging Face
Permissive or share-alike

The declared licence (cc-by-4.0) is classified as permissive.

Declared licence
cc-by-4.0, from the tagEvidence: README.md at e785c39
Licence files
No licence file at the top level of the repositoryEvidence: file list at e785c39
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@article{andrieu2026sameformulas,
  title   = {Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?},
  author  = {Andrieu, R{\'e}mi and Sileo, Damien},
  journal = {arXiv preprint arXiv:2608.05097},
  year    = {2026},
  url     = {https://arxiv.org/abs/2608.05097}
}

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "sileod/ModalFlip" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0