Cut Might Cautiously

DOI10.1093/JIGPAL/3.2-3.191MaRDI QIDQ4842272zbMATH OpenOpenAlexFDO

Authors Jaap van der Does

Publication date 7 September 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e249bc5e7db5c4482741ec76c6e491715a81109a

zbMATH Keywords

cautious cut eliminationmight logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)

Recommendations

• An update on ``might
• Cut elimination for shallow modal logics
• Generic modal cut elimination applied to conditional logics
• Generic Modal Cut Elimination Applied to Conditional Logics
• CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

Cited in

(2)

• Don't eliminate cut
• An update on ``might

This page was built for publication: Cut Might Cautiously

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842272)