scientific article

zbMath1338.03030MaRDI QIDQ2791890

Julius Andrikonis, Regimantas Pliuškevičius

Publication date: 16 March 2016

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

zbMATH Keywords

modal logicsequent calculusterminationbacktrackingcontraction-free calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Related Items (1)

Loop-check specification for a sequent calculus of temporal logic

This page was built for publication: