Explainability requirements as hyperproperties

DOI10.1007/S00236-025-00507-WMaRDI QIDQ6908082zbMATH OpenFDO

Authors Bernd Finkbeiner, Julian Siber

Publication date 1 November 2025

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00236-025-00507-W

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Cites work

• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 1500666 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A unified logical framework for explanations in classifier systems
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Counterfactuals modulo temporal logics
• Explaining Hyperproperty Violations
• Explanation in artificial intelligence: insights from the social sciences
• Hypothetical knowledge and counterfactual reasoning
• On the complexity of model checking knowledge and time
• Temporal causality in reactive systems
• The first-order logic of hyperproperties
• The hierarchy of hyperlogics
• Unifying hyper and epistemic temporal logics

This page was built for publication: Explainability requirements as hyperproperties

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