Proof systems for the logics of bringing-it-about

MaRDI QIDQ5878367zbMATH OpenFDO

Authors Tiziano Dalmonte, Charles Grellois, N. Olivetti

Publication date 21 February 2023

zbMATH Keywords

logic of agencysequent calculusdecision procedurecoalition logiclogic of abilitycountermodel extraction

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Bringing it about
• On the axiomatisation of Elgesem's logic of agency and ability
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• scientific article; zbMATH DE number 1414365
• A dynamic logic of agency. I: STIT, capabilities and powers

Cited in

(1)

• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic

This page was built for publication: Proof systems for the logics of bringing-it-about

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