Reducing Modal Consequence Relations
From MaRDI portal
Publication:4529489
DOI10.1093/LOGCOM/11.6.879zbMATH Open0997.03022OpenAlexW2163191319MaRDI QIDQ4529489FDOQ4529489
Authors: Marcus Kracht 
Publication date: 13 November 2002
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/11.6.879
Recommendations
- scientific article; zbMATH DE number 7585725
- A modal reduction for partial logic
- On the reduction of modalities in deontic calculi
- scientific article; zbMATH DE number 4210098
- scientific article; zbMATH DE number 549980
- Modal logic via global consequence
- scientific article; zbMATH DE number 1254481
- Reduction and Tarski's definition of logical consequence
- scientific article; zbMATH DE number 1763627
- Modal dependence logic
Cited In (9)
- Title not available (Why is that?)
- Sequent calculi for global modal consequence relations
- Logics of left variable inclusion and Płonka sums of matrices
- ON EQUATIONAL COMPLETENESS THEOREMS
- Reflecting rules: a note on generalizing the deduction theorem
- Efficient local reductions to basic modal logic
- Taming Modal Impredicativity: Superlazy Reduction
- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
- Local is best: efficient reductions to modal logic \textsf{K}
This page was built for publication: Reducing Modal Consequence Relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529489)
