Cut Might Cautiously

DOI10.1093/JIGPAL/3.2-3.191zbMATH Open0824.03031OpenAlexW2151336009MaRDI QIDQ4842272FDOQ4842272

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

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

zbMATH Keywords

cautious cut eliminationmight logic

Mathematics Subject Classification ID

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

Cited In (1)

• Don't eliminate cut

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)