scientific article; zbMATH DE number 3989325

MaRDI QIDQ3752368zbMATH OpenFDO

Authors Paul B. Thistlewaite, Robert K. Meyer, Michael A. McRobbie

Publication date 1985

zbMATH Keywords

relevant logicsnon-classical automated theorem-provingprogram KRIPKE

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4117898
• scientific article; zbMATH DE number 627500
• scientific article; zbMATH DE number 4061193
• scientific article; zbMATH DE number 3871323
• Automated theorem proving by resolution in non-classical logics

Cited in

(3)

• Reasoning about truth
• Structural weakening and paradoxes
• Identity in modal logic theorem proving

Describes a project that uses

Uses Software

• KRIPKE

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 Q3752368)