scientific article; zbMATH DE number 2196594
From MaRDI portal
Publication:5465444
zbMath1082.03010MaRDI QIDQ5465444
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (3)
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic ⋮ Efficient local reductions to basic modal logic ⋮ Local is best: efficient reductions to modal logic \textsf{K}
This page was built for publication:
