# Logos Theory Citation

## Software Implementation Citation

If you use the Logos Theory implementation in your research, please cite:

```bibtex
@software{logos_theory_implementation,
  author = {Benjamin Brast-McKie},
  title = {Logos Theory: Hyperintensional Truthmaker Semantics Implementation},
  year = {2024},
  url = {https://github.com/benbrastmckie/ModelChecker},
  version = {1.0.0}
}
```

## Semantic Theory Citation

For the underlying semantic theory, cite:

```bibtex
@article{brast_mckie_logos,
  author = {Benjamin Brast-McKie},
  title = {Hyperintensional Truthmaker Semantics},
  journal = {[Publication details to be added]},
  year = {2024}
}
```

## Description

The Logos Theory provides a modular implementation of hyperintensional truthmaker semantics with support for multiple logical domains including extensional, modal, constitutive, counterfactual, and relevance operators.

## License

Licensed under GPL-3.0. See LICENSE.md for details.