Axioms for deliberative stit

DOI10.1023/A:1004274131669zbMath0917.03007OpenAlexW1986397748WikidataQ114652419 ScholiaQ114652419MaRDI QIDQ1272834

Ming Xu

Publication date: 15 July 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004274131669

zbMATH Keywords

modal logiccompletenesssemanticsfinite model propertysoundnessaxiomatisationmultiple agentscompanion formulasdeliberately sees to it thatdeliberative stitdstit

Mathematics Subject Classification ID

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

Related Items (19)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ A STIT logic for reasoning about social influence ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ The logic of action and control ⋮ Unnamed Item ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Expressivity results for deontic logics of collective agency ⋮ Completeness of a branching-time logic with possible choices ⋮ Remarks on the logic of imagination. A step towards understanding doxastic control through imagination ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ An epistemic logic of blameworthiness ⋮ Actions as events ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ Propositional \(\text Q\)-logic

Cites Work

• Getting started: Beginnings in the logic of action
• The way of the agent
• Time and modality in the logic of agency
• Decidability of stit theory with a single agent and Refref equivalence
• Doing and refraining from refraining
• Conditional obligation, deontic paradoxes, and the logic of agency
• In the realm of agents
• Busy choice sequences refraining formulas and modalities
• The deliberative stit: A study of action, omission, ability, and obligation
• On the basic logic ofSTITwith a single agent
• Modal Logics Between S 4 and S 5
• Indeterminist time and truth‐value gaps¹
• Modalities in the Survey system of strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axioms for deliberative stit