scientific article; zbMATH DE number 1333594

MaRDI QIDQ4260367zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 19 September 1999

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)