scientific article; zbMATH DE number 1523045

MaRDI QIDQ4511320zbMATH OpenFDO

Authors Camilla Schwind

Publication date 30 October 2000

zbMATH Keywords

multi-modal logicrepresentation of actionssemantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• Ramification and causality in a modal action logic
• scientific article; zbMATH DE number 3843726
• Modal logic for modelling actions and agents
• Formalizing action and change in modal logic I: the frame problem
• Provably correct theories of action

Cited in

(22)

• Metatheory of actions: beyond consistency
• A topological logic of action
• A dynamic logic of action
• Model-theoretical foundation of action and progression
• A reduction of doxastic logic to action logic
• Old foundations for the logic of agency and action
• Bounded situation calculus action theories
• scientific article; zbMATH DE number 4014516 (Why is no real title available?)
• scientific article; zbMATH DE number 3843726 (Why is no real title available?)
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• scientific article; zbMATH DE number 1241660 (Why is no real title available?)
• Ramification and causality in a modal action logic
• On the dynamic logic of agency and action
• scientific article; zbMATH DE number 1444735 (Why is no real title available?)
• scientific article; zbMATH DE number 7503176 (Why is no real title available?)
• scientific article; zbMATH DE number 2203334 (Why is no real title available?)
• scientific article; zbMATH DE number 6769444 (Why is no real title available?)
• scientific article; zbMATH DE number 2196585 (Why is no real title available?)
• scientific article; zbMATH DE number 2226179 (Why is no real title available?)
• The logic of action and control
• Linear-time temporal answer set programming
• A lemma in the logic of action

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