scientific article; zbMATH DE number 517085
From MaRDI portal
Publication:4282615
zbMath0793.03014MaRDI QIDQ4282615
Publication date: 21 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Finite sequent calculi for PLTL ⋮ The saturated tableaux for linear miniscope Horn-like 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 ⋮ Similarity saturation for first order linear temporal logic with UNLESS ⋮ Invertible infinitary calculus without loop rules for restricted FTL
This page was built for publication:
