scientific article; zbMATH DE number 1267561

zbMath0926.03020MaRDI QIDQ4235432

Olivier Gasquet, Marcos Alexandre Castilho, Luis Fariñas del Cerro, Andreas Herzig

Publication date: 23 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicstructural rulestableau methodspropagation rulesrooted directed acyclic graphs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Related Items

Nested sequents for intuitionistic modal logics via structural refinement, Connectionist modal logic: representing modalities in neural networks, Nested sequents for intermediate logics: the case of Gödel-Dummett logics, First-Order Resolution Methods for Modal Logics, Multicomponent proof-theoretic method for proving interpolation properties, A new methodology for developing deduction methods, EXPtime tableaux for ALC