scientific article; zbMATH DE number 7085055

zbMATH Open1418.03103MaRDI QIDQ5224809FDOQ5224809

Alex Silk

Publication date: 24 July 2019

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

zbMATH Keywords

update semanticsmodals weak/strong necessity modals

Mathematics Subject Classification ID

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

Cited In (2)

• Weak updates and separation logic
• Defaults in update semantics

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