Update semantics for weak necessity modals

MaRDI QIDQ5224809zbMATH OpenFDO

Authors Alex Silk

Publication date 24 July 2019

zbMATH Keywords

modals weak/strong necessity modalsupdate semantics

Mathematics Subject Classification ID

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

Recommendations

• `Must', `ought' and the structure of standards
• What we know and what to do
• For a dynamic semantics of necessity deontic modals
• `Ought' and resolution semantics
• Evidence sensitivity in weak necessity deontic modals

Cited in

(6)

• Weak updates and separation logic
• Defaults in update semantics
• What we know and what to do
• `Must', `ought' and the structure of standards
• The application of constraint semantics to the language of subjective uncertainty
• Narrow-scoping for wide-scopers

This page was built for publication: Update semantics for weak necessity modals

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