scientific article; zbMATH DE number 221550

zbMath0781.03008MaRDI QIDQ4697034

Juan Barba Escriba

Publication date: 29 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic propositional logicpartial information logicembedding into modal logic S4generalization of data semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: