scientific article; zbMATH DE number 6863639
From MaRDI portal
zbMath1400.03056MaRDI QIDQ4636027
David Fernández-Duque, Philippe Balbiani
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combined logics (03B62)