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

DOI10.1007/s10992-004-6368-1zbMath1086.03013OpenAlexW2163758851WikidataQ58177095 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 logiccompletenesssemanticsHilbert system of agency and ability

Mathematics Subject Classification ID

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

Related Items

Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Variants of multi-relational semantics for propositional non-normal modal logics, Non-normal modalities in variants of linear logic, Quantification in some non-normal modal logics, Tracking and managing deemed abilities, Modes of adjointness, A logic of delegation, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item