On the axiomatisation of Elgesem's logic of agency and ability
type: Item
instance of: scholarly article
title: On the axiomatisation of Elgesem's logic of agency and ability
zbMATH Open document ID: 1086.03013
author: Guido Governatori
author: Antonino Rotolo
published in: Journal of Philosophical Logic
publication date: 2006-02-08T00:00:00Z
full work available at URL: elgesem.pdf
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5004563
zbMATH Keywords: Hilbert system of agency and ability
zbMATH Keywords: completeness
zbMATH Keywords: modal logic
zbMATH Keywords: semantics
MaRDI profile type: Publication
OpenAlex ID: W2163758851
Wikidata QID: Q58177095
cites work: Q5638252
cites work: The way of the agent
cites work: On the logic of ability
cites work: Q4329183
cites work: Q3867808
cites work: Q4942680
cites work: Q5688815
cites work: Deontic Logic in Computer Science
cites work: Q4952291
cites work: Impossible possible worlds vindicated
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: Q4893675
cites work: Q5509675
cites work: Intensional logics without iterative axioms
cites work: Q4475172
cites work: Action theory and social science. Some formal models
cites work: Q4068699
cites work: Bringing it about
cites work: Getting started: Beginnings in the logic of action
cites work: Q4329191
cites work: Canonicity for intensional logics without iterative axioms
DOI: 10.1007/S10992-004-6368-1
DBLP publication ID: journals/jphil/GovernatoriR05
description: scientific article; zbMATH DE number 5004563