scientific article; zbMATH DE number 1377705

zbMATH Open0935.03020MaRDI QIDQ4703136FDOQ4703136

Authors: Yasuhito Suzuki 

Publication date: 14 December 1999

Title of this publication is not available (Why is that?)

Recommendations

• Rewrite rule systems for modal propositional logic
• Publication:3490986
• Resolution theorem proving in reified modal logics
• TABLEAUX: A general theorem prover for modal logics

zbMATH Keywords

multi-modal logicterm rewriting systemautomated theorem-provingBeth tableaucombined modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35)

Uses Software

• CafeOBJ

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4703136)