The many faces of counts-as: A formal analysis of constitutive rules

DOI10.1016/J.JAL.2007.06.008zbMath1149.68421OpenAlexW1971293590WikidataQ62045435 ScholiaQ62045435MaRDI QIDQ931777

John-Jules Ch. Meyer, Davide Grossi, F. P. M. Dignum

Publication date: 26 June 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2007.06.008

zbMATH Keywords

modal logicinstitutionscontextconstitutive rulescounts-as

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Law and logic: a review from an argumentation perspective ⋮ Norms as ascriptions of violations: an analysis in modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• PDL with data constants
• Modal logic with names
• On the representation of context
• All I know: A study in autoepistemic logic
• Classificatory Aspects of Counts-as: An Analysis in Modal Logic
• Counts-as: Classification or Constitution? An Answer Using Modal Logic
• Contextual Terminologies
• Constitutive Norms in the Design of Normative Multiagent Systems
• Using the Universal Modality: Gains and Questions
• The computational complexity of hybrid temporal logics
• Computational Logic in Multi-Agent Systems
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: The many faces of counts-as: A formal analysis of constitutive rules