Decidability of stit theory with a single agent and Refref equivalence

DOI10.1007/BF01054713zbMath0802.03007OpenAlexW1978131572MaRDI QIDQ1327485

Ming Xu

Publication date: 12 December 1994

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

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

zbMATH Keywords

decidabilitybusy choice sequencesaxiomatisationstit theoryRefref principle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)

Related Items (7)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Busy choice sequences refraining formulas and modalities ⋮ On the basic logic ofSTITwith a single agent ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Axioms for deliberative stit ⋮ Propositional \(\text Q\)-logic

Cites Work

• The way of the agent
• Time and modality in the logic of agency
• Doing and refraining from refraining

This page was built for publication: Decidability of stit theory with a single agent and Refref equivalence