scientific article
From MaRDI portal
Publication:2856051
zbMath1273.03063MaRDI QIDQ2856051
Ekaterina Alexandrovna Kotikova, Mikhail Rybakov
Publication date: 23 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logictemporal logicnonclassical logicbranching-time logicKripke completenessrecursive enumerability
Related Items (1)
This page was built for publication:
