An update on ``might''
Three consequence relations are defined (the definitions are based on some forms of ``supporting the conclusion'' rather than on truth-preservation); respective Gentzen-like logics are defined for them, and their completeness and decidability are proved. Syntax and semantics of a logic for ``might'' are introduced.
scientific article; zbMATH DE number 1080665