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

DOI10.1007/s10992-004-6368-1zbMath1086.03013WikidataQ58177095 ScholiaQ58177095MaRDI QIDQ815019

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

modal logic; completeness; semantics; Hilbert system of agency and ability

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

Related Items

Variants of multi-relational semantics for propositional non-normal modal logics, Non-normal modalities in variants of linear logic, Modes of adjointness, Quantification in some non-normal modal logics, A logic of delegation, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bringing it about
• 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
• Action theory and social science. Some formal models
• Canonicity for intensional logics without iterative axioms
• The deliberative stit: A study of action, omission, ability, and obligation
• Deontic Logic in Computer Science