Old foundations for the logic of agency and action

DOI10.1023/A:1021871106406zbMath1014.03022MaRDI QIDQ1868246

Lennart Åqvist

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

dynamic logicactscausationagentsstit theoryhistorical necessitybasic action-sentencesBewirken theorycausative action-sentencescomplete axiomatic systemslogic of agency and actiontwo-dimensional modal tense logic

Mathematics Subject Classification ID

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

Related Items (6)

Trust and agency in the context of communication ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ Two adaptive logics of norm-propositions ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation

This page was built for publication: Old foundations for the logic of agency and action