scientific article; zbMATH DE number 3532927
From MaRDI portal
Publication:4109655
zbMath0342.02022MaRDI QIDQ4109655
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Sequential method in propositional dynamic logic ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method
This page was built for publication:
