scientific article; zbMATH DE number 1333594

zbMath0925.03107MaRDI QIDQ4260367

Regimantas Pliuškevičius

Publication date: 19 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Finite sequent calculi for PLTL ⋮ A derivation-loop method for temporal logic ⋮ The saturated tableaux for linear miniscope Horn-like temporal logic ⋮ More efficient proof-search for sequents of temporal logic ⋮ Loop-type sequent calculi for temporal logic ⋮ Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic ⋮ Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic