scientific article; zbMATH DE number 3989325

zbMATH Open0612.03011MaRDI QIDQ3752368FDOQ3752368

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

Publication date: 1985

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

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

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)

Cited In (3)

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

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)