scientific article; zbMATH DE number 6291744
From MaRDI portal
Publication:5414299
zbMath1286.03055MaRDI QIDQ5414299
Răzvan Diaconescu, Petros Stefaneas
Publication date: 2 May 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)
This page was built for publication: