scientific article; zbMATH DE number 1424041

MaRDI QIDQ4945231zbMATH OpenFDO

Authors Shigeki Hagihara, Naoki Yonezaki

Publication date 23 August 2000

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)