Deontic interpreted systems
From MaRDI portal
Publication:1420804
DOI10.1023/A:1026176900459zbMath1033.03012OpenAlexW1568323880MaRDI QIDQ1420804
Marek Sergot, Alessio Lomuscio
Publication date: 23 January 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026176900459
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (16)
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ Checking EMTLK properties of timed interpreted systems via bounded model checking ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ The logic of knowledge based obligation ⋮ A Temporal Logic of Normative Systems ⋮ Challenges in the Specification of Full Contracts ⋮ Ontological aspects of the implementation of norms in agent-based electronic institutions ⋮ Bounded model checking for knowledge and real time ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ On obligations and normative ability: Towards a logical analysis of the social contract
This page was built for publication: Deontic interpreted systems
