# License

This theory is part of the ModelChecker framework and is licensed under GPL-3.0.

## Software Implementation Copyright

Copyright (c) 2024 Benjamin Brast-McKie and Miguel Buitrago

## Semantic Theory Attribution

The exclusion semantic theory implemented here is based on the unilateral truthmaker semantics 
originally developed by Kit Fine and revised by Lucas Champollion and Timothée Bernard.
For proper academic attribution of the underlying semantic theory, see CITATION.md.

## Derivative Work Guidelines

When creating derivative works based on this theory:

1. **License Inheritance**: Derivative works must maintain the GPL-3.0 license
2. **Attribution**: You must maintain attribution to the original authors (Miguel Buitrago and Benjamin Brast-McKie)
3. **Novel Contributions**: You may add your name to the copyright when you have made substantial contributions
4. **Documentation**: Document your contributions clearly, linking to detailed explanations

### What Constitutes Substantial Contributions

- Adding new operators or semantic features
- Implementing new constraint types or semantic extensions
- Creating new subtheories that extend the base theory
- Significant algorithmic or performance improvements

### Example Attribution for Derivative Works

```
Original exclusion theory - Copyright (c) 2024 Miguel Buitrago and Benjamin Brast-McKie
[Your Novel Contribution] - Copyright (c) [Year] [Your Name]
```

For detailed guidelines, see the [License Inheritance Guidelines](../../../docs/LICENSE_INHERITANCE.md).

## License Terms

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
