Toolbox
Abstract
Contains various tools for preferential and related logics
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2008
- DOI:
- 10.48550/arXiv.0811.3402
- arXiv:
- arXiv:0811.3402
- Bibcode:
- 2008arXiv0811.3402S
- Keywords:
-
- Mathematics - Logic