scientific article; zbMATH DE number 3786734

zbMATH Open0499.03004MaRDI QIDQ3964526FDOQ3964526

Authors: Gisele Fischer Servi 

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenessbimodal calculidouble Kripke type structuresdouble model structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3964526)