# 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 Logos semantic theory implemented here is based on the hyperintensional truthmaker semantics 
developed by Benjamin Brast-McKie. 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 author (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 logos theory - Copyright (c) 2024 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/>.
