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

DOI10.1007/S10992-004-6368-1zbMATH Open1086.03013DBLPjournals/jphil/GovernatoriR05OpenAlexW2163758851WikidataQ58177095 ScholiaQ58177095MaRDI QIDQ815019FDOQ815019

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

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

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)

Cites Work

• On the logic of ability
• Getting started: Beginnings in the logic of action
• The way of the agent
• Intensional logics without iterative axioms
• Impossible possible worlds vindicated
• The deliberative stit: A study of action, omission, ability, and obligation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deontic Logic in Computer Science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Action theory and social science. Some formal models
• Canonicity for intensional logics without iterative axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bringing it about

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
• A logic of delegation
• Quantification in some non-normal modal logics
• 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)