scientific article; zbMATH DE number 1333594

zbMATH Open0925.03107MaRDI QIDQ4260367FDOQ4260367

Authors: R. Pliuškevičius 

Publication date: 19 September 1999

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cited In (7)

• Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
• Loop-type sequent calculi for temporal logic
• Finite sequent calculi for PLTL
• More efficient proof-search for sequents of temporal logic
• A derivation-loop method for temporal logic
• Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order 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 Q4260367)