scientific article; zbMATH DE number 1377705

MaRDI QIDQ4703136zbMATH OpenFDO

Authors Yasuhito Suzuki

Publication date 14 December 1999

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)

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

Describes a project that uses

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)