scientific article; zbMATH DE number 218549

zbMath0788.03021MaRDI QIDQ4694253

No author found.

Publication date: 29 June 1993

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

zbMATH Keywords

completeness of a finite axiom systempropositional dynamic logic with infinite loopingtableaux trees

Mathematics Subject Classification ID

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

Related Items (3)

Dynamic logic with program specifications and its relational proof system ⋮ A modal logic for cyclic repeating ⋮ An essay in combinatory dynamic logic

This page was built for publication: