Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Cut Might Cautiously

From MaRDI portal
Publication:4842272
Jump to:navigation, search

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


Authors: Jaap van der Does Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4842272&oldid=19182860"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 03:03. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki