Experiments in causality and STIT

MaRDI QIDQ5037674zbMATH OpenFDO

Authors David Streit

Publication date 3 March 2022

zbMATH Keywords

experimentationHOLIsabelleactual causationshallow embeddingSTITLogiKEy

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• From coalition logic to STIT
• Probabilistic stit logic
• Inference as doxastic agency. II: Ramifications and refinements
• Attributing distributed responsibility in stit logic
• Alternative axiomatics and complexity of deliberative STIT theories

Describes a project that uses

Uses Software

• HOL
• Isabelle/HOL
• Isabelle

This page was built for publication: Experiments in causality and STIT

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