On the axiomatisation of Elgesem's logic of agency and ability

DOI10.1007/S10992-004-6368-1MaRDI QIDQ815019zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Guido Governatori, Antonino Rotolo

Publication date 8 February 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://espace.library.uq.edu.au/view/UQ:9604/elgesem.pdf

zbMATH Keywords

semanticscompletenessmodal logicHilbert system of agency and ability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1414365
• On the logic of ability
• Action and ability
• The logic of ability, freedom and responsibility
• Ability and responsibility in general action logic

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1735829 (Why is no real title available?)
• scientific article; zbMATH DE number 1735836 (Why is no real title available?)
• scientific article; zbMATH DE number 2084407 (Why is no real title available?)
• scientific article; zbMATH DE number 928022 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 1444712 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3365184 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• Action theory and social science. Some formal models
• Bringing it about
• Canonicity for intensional logics without iterative axioms
• Deontic Logic in Computer Science
• Getting started: Beginnings in the logic of action
• Impossible possible worlds vindicated
• Intensional logics without iterative axioms
• On the logic of ability
• The deliberative stit: A study of action, omission, ability, and obligation
• The way of the agent

Cited in

(12)

• Reasoning with protocols under imperfect information
• \textit{Brings it about that} operators decomposed with relating semantics
• Variants of multi-relational semantics for propositional non-normal modal logics
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Proof systems for the logics of bringing-it-about
• Non-normal modalities in variants of linear logic
• Modes of adjointness
• Quantification in some non-normal modal logics
• A logic of delegation
• A dynamic logic of agency. I: STIT, capabilities and powers
• Tracking and managing deemed abilities
• Non-normal Modal description logics

This page was built for publication: On the axiomatisation of Elgesem's logic of agency and ability

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