scientific article; zbMATH DE number 970622
From MaRDI portal
Publication:5688801
zbMath0869.03012MaRDI QIDQ5688801
Publication date: 23 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas ⋮ Invertible infinitary calculus without loop rules for restricted FTL ⋮ Loop-check specification for a sequent calculus of temporal logic
This page was built for publication:
