Reducing Modal Consequence Relations

DOI10.1093/LOGCOM/11.6.879MaRDI QIDQ4529489zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

consistencycomplexitymodal logicmodal consequence relationreduction functions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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)

• scientific article; zbMATH DE number 2196594 (Why is no real title available?)
• Sequent calculi for global modal consequence relations
• Logics of left variable inclusion and Płonka sums of matrices
• Reflecting rules: a note on generalizing the deduction theorem
• ON EQUATIONAL COMPLETENESS THEOREMS
• 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)