arXiv Analytics

Sign in

arXiv:0811.3402 [math.LO]AbstractReferencesReviewsResources

Toolbox

Karl Schlechta

Published 2008-11-20Version 1

Contains various tools for preferential and related logics

Categories: math.LO
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