Reducing Modal Consequence Relations

DOI10.1093/logcom/11.6.879zbMath0997.03022OpenAlexW2163191319MaRDI QIDQ4529489

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

complexitymodal logicconsistencymodal consequence relationreduction functions

Mathematics Subject Classification ID

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

Related Items (6)

ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Efficient local reductions to basic modal logic ⋮ Sequent calculi for global modal consequence relations ⋮ Local is best: efficient reductions to modal logic \textsf{K}

This page was built for publication: Reducing Modal Consequence Relations