Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

DOI10.1007/978-3-540-70525-3_10zbMath1143.03351OpenAlexW2120393517MaRDI QIDQ3522045

Oleg Sokolsky, Insup Lee, Nikhil Dinesh, Aravind K. Joshi

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1396&context=cis_papers

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Temporal logic (03B44) Theory of organizations, manpower planning in operations research (90B70) Other applications of logic (03B80)

Related Items (6)

A brief account of runtime verification ⋮ Permission to speak: a logic for access control and conformance ⋮ Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking ⋮ A rewriting framework and logic for activities subject to regulations ⋮ Challenges in the Specification of Full Contracts ⋮ Monitoring Metric First-Order Temporal Properties

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Permission from an input/output perspective
• Input/output logics
• Contrary-to-duty obligations
• Multi-agent Only Knowing
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• A kripke-kleene semantics for logic programs*
• The complexity of propositional linear temporal logics
• Outline of a Theory of Truth

This page was built for publication: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking