scientific article
From MaRDI portal
Publication:2904055
zbMath1254.03034MaRDI QIDQ2904055
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictransitive closureaccessibility relationcompleteness with respect to finite modelssemantic diagram
This page was built for publication: