scientific article; zbMATH DE number 3855074

zbMATH Open0538.03024MaRDI QIDQ3323928FDOQ3323928

Authors: Yuichi Komori 

Publication date: 1983

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

zbMATH Keywords

weak logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (5)

• Title not available (Why is that?)
• Weak updates and separation logic
• Weak models of distributed computing, with connections to modal logic
• Title not available (Why is that?)
• Weakly expressive models for Hoare logic

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 Q3323928)