In the realm of agents

DOI10.1007/BF01531260zbMath0866.03009OpenAlexW2021928125MaRDI QIDQ1353843

Michael Perloff, Nuel D. jun. Belnap

Publication date: 5 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01531260

zbMATH Keywords

stit theorymany agentsjoint agencylogic of seeing-to-it-that

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (9)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ Busy choice sequences refraining formulas and modalities ⋮ On the basic logic ofSTITwith a single agent ⋮ Branching space-time ⋮ Actions as events ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Axioms for deliberative stit ⋮ A modal action logic based framework for organization specification and analysis

Cites Work

• A technical note on Lars Lindahl's ``Position and change
• Branching space-time
• The way of the agent
• Time and modality in the logic of agency
• Conditional obligation, deontic paradoxes, and the logic of agency
• Classes and change
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: In the realm of agents