scientific article; zbMATH DE number 1424041

zbMATH Open0942.03026MaRDI QIDQ4945231FDOQ4945231

Authors: Shigeki Hagihara, Naoki Yonezaki 

Publication date: 23 August 2000

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

Recommendations

• scientific article; zbMATH DE number 3845547
• Publication:3030268
• scientific article; zbMATH DE number 517002
• scientific article; zbMATH DE number 3932427
• scientific article; zbMATH DE number 3921953

zbMATH Keywords

satisfiabilitypartial correctnessunsatisfiabilityfinite temporal framesinfinite transitionsmodal logic KWnon-iterative framessystem terminationunification-based proof method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (1)

• Resolution-based methods for modal logics

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