scientific article; zbMATH DE number 980417

zbMATH Open0862.03003MaRDI QIDQ4333381FDOQ4333381

Authors: R. Pliuškevičius 

Publication date: 19 February 1997

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

Recommendations

• The saturated tableaux for linear miniscope Horn-like temporal logic
• scientific article; zbMATH DE number 782041
• A new rule for LTL tableaux
• scientific article; zbMATH DE number 3937153

zbMATH Keywords

first-order linear temporal logictableaux deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• A tableau construction for finite linear-time temporal logic
• The saturated tableaux for linear miniscope Horn-like temporal logic

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