scientific article; zbMATH DE number 1088203
From MaRDI portal
Publication:4364518
zbMath0885.03020MaRDI QIDQ4364518
Publication date: 15 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (2)
A survey on temporal logics for specifying and verifying real-time systems ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
This page was built for publication:
