Dynamic Context Logic

DOI10.1007/978-3-642-04893-7_2MaRDI QIDQ3655214zbMATH OpenOpenAlexWikidataFDO

Authors Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini

Publication date 7 January 2010

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00556156/file/10.1007-978-3-642-04893-7_2.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1556014
• scientific article; zbMATH DE number 1852915
• scientific article; zbMATH DE number 1032009
• Contexts in dynamic predicate logic
• Dynamic predicate logic
• scientific article; zbMATH DE number 4197948
• Dynamic process logic
• scientific article; zbMATH DE number 753771
• General dynamic dynamic logic
• Concurrent dynamic logic

Cited in

(14)

• Contexts in dynamic predicate logic
• Dynamic logic of power and immunity
• Dynamic logic of legal competences
• The logical structure of Scanlon's contractualism
• Minimal revision and classic Kripke models. First results
• Dynamic contextual intensional logic: logical foundations and an application
• A dynamic logic of norm change
• scientific article; zbMATH DE number 753771 (Why is no real title available?)
• Normative reasoning and consequence
• Contextual intensional logic: type-theoretic and dynamic considerations
• Context and logical form
• Norms as ascriptions of violations: an analysis in modal logic
• Computational Logic in Multi-Agent Systems
• Data-Driven Revision of Conditional Norms in Multi-Agent Systems

This page was built for publication: Dynamic Context Logic

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