{ "id": "0811.3402", "version": "v1", "published": "2008-11-20T19:47:36.000Z", "updated": "2008-11-20T19:47:36.000Z", "title": "Toolbox", "authors": [ "Karl Schlechta" ], "categories": [ "math.LO" ], "abstract": "Contains various tools for preferential and related logics", "revisions": [ { "version": "v1", "updated": "2008-11-20T19:47:36.000Z" } ], "analyses": { "keywords": [ "preferential", "related logics" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2008arXiv0811.3402S" } } }