Stit-logic for imperatives

zbMATH Open1370.03024MaRDI QIDQ2811661FDOQ2811661

Authors: Gleb Viktorovich Karpov 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1893245
• Validity and satisfaction in imperative logic
• Imperatives: a judgemental analysis
• Problems and results for logics about imperatives
• scientific article; zbMATH DE number 1952669

zbMATH Keywords

logic of actionimperativelogic if imperativesstit-logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cited In (7)

• A formal characterisation of Hamblin's action-state semantics
• Nested deontic modalities: Another view of parking on highways
• Title not available (Why is that?)
• Title not available (Why is that?)
• Be nice! How simple imperatives simplify imperative logic
• Imperatives: a judgemental analysis
• The varieties of ought-implies-can and deontic \textsf{STIT} logic

This page was built for publication: Stit-logic for imperatives

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