arXiv:0811.3402 [math.LO]AbstractReferencesReviewsResources
Toolbox
Published 2008-11-20Version 1
Contains various tools for preferential and related logics
Categories: math.LO
Keywords: preferential, related logics
Related articles:
arXiv:2011.02205 [math.LO] (Published 2020-11-04)
Completeness of logics with the transitive closure modality and related logics
arXiv:2106.09850 [math.LO] (Published 2021-06-18)
Valuation semantics for first-order logics of evidence and truth (and some related logics)
arXiv:0904.2199 [math.LO] (Published 2009-04-14)
Independence - revision and defaults